Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings - Lecture Notes in Computer Science - Radhia Cousot - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540242970 - 13. Januar 2005
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Radhia Cousot
Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings - Lecture Notes in Computer Science 2005 edition

Preis
SFr. 44,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 25. Dez - 2. 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

483 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 13. Januar 2005
ISBN13 9783540242970
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 483
Maße 155 × 235 × 25 mm   ·   693 g
Sprache Deutsch  
Redakteur Cousot, Radhia

Weitere Titel von Radhia Cousot

Alle anzeigen

Alle Titel von Radhia Cousot ansehen ( u. a. Taschenbuch )