Verification, Model Checking, and Abstract Interpretation | 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings | ISBN 9783540208037

Verification, Model Checking, and Abstract Interpretation

5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

herausgegeben von Bernhard Steffen und Giorgio Levi
Mitwirkende
Herausgegeben vonBernhard Steffen
Herausgegeben vonGiorgio Levi
Buchcover Verification, Model Checking, and Abstract Interpretation | EAN 9783540208037 | ISBN 3-540-20803-8 | ISBN 978-3-540-20803-7

Verification, Model Checking, and Abstract Interpretation

5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

herausgegeben von Bernhard Steffen und Giorgio Levi
Mitwirkende
Herausgegeben vonBernhard Steffen
Herausgegeben vonGiorgio Levi
Includes supplementary material: sn. pub/extras
Verfügbarkeit jetzt prüfen

ISBN-Daten

Einband - flex.(Paperback)
 
Softcover
325 Seiten
erschienen am
07.01.2004
Sprache
Englisch
Rubrik
Computerprogrammierung und Softwareentwicklung
ISBN-10
3-540-20803-8
Abmessungen
23,5 x 15,5 cm
Lieferstatus
verfügbar
Preis
53,49 €*
Buch kaufen

Lokal-Verfügbarkeit

 
ca. 15 km um Moreno Valley
**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.
Lokalverfügbarkeit (Karte)

Ankaufspreise

Ankaufspreise ermitteln
Veranstaltung eintragen

Passend

Buchcover Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation