Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science - Bernhard Steffen - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540208037 - 7. Januar 2004
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Bernhard Steffen
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science

Preis
€ 51,49

Bestellware

Lieferdatum: ca. 8. - 16. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.

325 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 7. Januar 2004
ISBN13 9783540208037
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 325
Maße 156 × 234 × 18 mm   ·   480 g
Sprache Deutsch  

Weitere Titel von Bernhard Steffen

Alle anzeigen

Alle Titel von Bernhard Steffen ansehen ( u. a. Taschenbuch und Gebundenes Buch )