Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Unifying Theories of Programming and Formal Engineering Methods

Name: Unifying Theories of Programming and Formal Engineering Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05281595
Price: 51.78 EUR
Availability: InStock
Author: Zhiming Liu
ISBN: 9783642397202

International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Zhiming Liu

Jim Woodcock

Huibiao Zhu

Sprache

Englisch

Buch Broschur

Libristo-Code: 05281595

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juli 2013

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engin... Vollständige Beschreibung

Libristo-Code: 05281595

125 b

51.78 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Allweiser Schoepfer und durchsetzungsstarker Gesetzgeber Christian Blumenthal

Hardcover

129.41 €

Carnets d'un témoin (1940-1943) Raymond-Raoul Lambert

Buch

41.74 €

L'ALTRA CARA DE LA HISTORIA DE CATALUNYA XURIGUERA

Buch

9.31 €

Aventures au pays des Sherpas Bellot

Broschur

20.06 €

Biblia de referencia Thompson Milenio Reina Valera 1960, Tapa Dura / Spanish Thompson Chain Reference Bible, Millennium Edition RVR 1960, Hardcover Zondervan

Hardcover

40.02 €

La sibylle de Versailles Aurore Neveu

Hardcover

30.60 €

Road to the Euros (Ultimate Football Heroes): Collect them all! Matt & Tom Oldfield

Broschur

7.69 €

QISQA MUDDATLI TASVIR ISHLASHNING KASBIY FAOLIYATDAGI AHAMIYATI Komoldinov Sirojiddin

Broschur

39.31 €

Читая Лолиту в Тегеране А. Нафиси

Broschur

20.97 €

Battant, dormant Blanchard Buch

Broschur

16.51 €

La musique, c'est ma vie Bechet

Broschur

21.27 €

Kimi Wa Pet - tome 14 Yayoi Ogawa

Broschur

9.41 €

Les amandiers de l'Algarve Konatowicz

Broschur

12.25 €

Aliocha Troyat Henri Buch

Broschur

7.59 €

Die Professionalisierung der Physiotherapeuten Alice Maria Strassnitzky

Broschur

103.26 €

Johann Hinrich Wichern, Sein Leben Und Wirken, Nach Seinem Schriftlichen Nachlasz Und Den Mittheilungen Der Familie Volume 1 Friedrich Oldenberg

Broschur

33.23 €

Depuis le r?gne de Phillippe-Auguste, jusqu'au commencement du dix-septi?me Volume 44 Claude Bernard Petitot

Broschur

33.23 €

Shen Shan. On és en Litxi? Lévy

Broschur

8.00 €

Kabuk Adam Asli Erdogan

Broschur

12.15 €

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such as component-based and service-oriented systems, real-time systems, hybrid systems, cyber physical systems, and present techniques such as inductive theorem proving, model checking, correction by construction through refinement and model transformations, synthesis, and computer algebra. Two of the courses are explicitly related to Hoare and He's Unifying Theories of Programming.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Unifying Theories of Programming and Formal Engineering Methods

Autor Zhiming Liu, Jim Woodcock, Huibiao Zhu

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2013

Anzahl der Seiten 283

EAN 9783642397202

ISBN 3642397204

Libristo-Code 05281595

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 456

Abmessungen 155 x 235 x 19

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert