[email protected] Wir antworten innerhalb von 24 Stunden

[email protected]

DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01564919
Price: 139.2 EUR
Availability: InStock

Zhiming Liu

Jifeng He

Sprache

Englisch

Buch Broschur

Libristo-Code: 01564919

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2006

This book constitutes the refereed proceedings of the 8th International Conference on Formal Enginee... Vollständige Beschreibung

Libristo-Code: 01564919

349 b

139.20 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

L'etrange defaite Marc Bloch

/ Broschur

19.16 €

Complete C++ Training Course and Getting Started MS Vis Package Harvey M. Deitel

/ Hardcover

157.76 €

Interventional Spine Procedures, An Issue of Physical Medicine and Rehabilitation Clinics of North America Rivera

/ Hardcover

120.54 €

Truth about Prodigals Will Simmons

/ Broschur

13.41 €

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering.

Informationen zum Buch

Vollständiger Name Formal Methods and Software Engineering

Autor Zhiming Liu, Jifeng He

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2006

Anzahl der Seiten 792

EAN 9783540474609

ISBN 3540474609

Libristo-Code 01564919

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

Gewicht 2420

Abmessungen 155 x 235 x 43

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

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