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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.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.09 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.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

L'ALTRA CARA DE LA HISTORIA DE CATALUNYA XURIGUERA

Buch

8.19 €

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

Broschur

9.00 €

Battant, dormant Blanchard Buch

Broschur

13.59 €

QISQA MUDDATLI TASVIR ISHLASHNING KASBIY FAOLIYATDAGI AHAMIYATI Komoldinov Sirojiddin

Broschur

38.79 €

La musique, c'est ma vie Bechet

Broschur

19.39 €

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

Broschur

32.79 €

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

Broschur

32.79 €

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

Hardcover

32.29 €

Die Professionalisierung der Physiotherapeuten Alice Maria Strassnitzky

Broschur

115.90 €

Allweiser Schoepfer und durchsetzungsstarker Gesetzgeber Christian Blumenthal

Hardcover

124.95 €

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