Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - Theoretical Computer Science and General Issues - Byron Cook - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540697350 - 3. Januar 2007
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - Theoretical Computer Science and General Issues 2007 edition

Byron Cook

Preis
NZD 105

Bestellware

Lieferdatum: ca. 16. - 28. Okt

Unsere Kunden sagen:

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

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - Theoretical Computer Science and General Issues 2007 edition

The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007.

395 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 3. Januar 2007
ISBN13 9783540697350
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 395
Maße 155 × 235 × 21 mm   ·   612 g
Sprache Deutsch  
Redakteur Cook, Byron
Redakteur Podelski, Andreas

Alle Titel von Byron Cook ansehen ( u. a. Taschenbuch )