Name: Integrated Formal Methods
Brand: Springer-Verlag GmbH
SKU: ID13224391

Integrated Formal Methods

53.49 EUR 9% Off 59.00 EUR

Der Konferenzband von IFM 2012 in Pisa liefert neue Erkenntnisse zu formalen Methoden, kombiniert mit innovativen Werkzeugen für Modellierung und Verifikation sowie praxisorientierten Fallstudien aus der Industrie.

Marke: Springer-Verlag GmbH

MPN: 105 black & white illustrations, biograp

ISBN: 9783642307287

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-9%

Gesponsert Integrated Formal Methods

Hugendubel

53.49 EUR 59.00 EUR

04-11-2026 01:05:57

Access to the deal

-9%

Gesponsert Integrated Formal Methods: 9th International Conference, I.F.M. 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

Medimops DE

53.49 EUR 59.00 EUR

06-11-2026 14:58:23

Access to the deal

Gesponsert Integrated Formal Methods

SpringerLink DE

59.00 EUR 59.00 EUR

06-11-2026 06:23:25

Access to the deal

Integrated Formal Methods

Gesponsert Integrated Formal Methods

Gesponsert Integrated Formal Methods: 9th International Conference, I.F.M. 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

Gesponsert Integrated Formal Methods

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Integrated Formal Methods

Gesponsert Integrated Formal Methods

Gesponsert Integrated Formal Methods: 9th International Conference, I.F.M. 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

Gesponsert Integrated Formal Methods

Ähnliche Produkte

Integrated Formal Methods

Integrated Formal Methods: 8th International Conference, I.F.M. 2010, Nancy, France, October 11-14, 2010, Proceedings

Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Lecture Notes in Computer Science, 3771, Band 3771)

IFM '99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999