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

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 9783540246220 | ISBN 3-540-24622-3 | ISBN 978-3-540-24622-0

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

ISBN-Daten

Digitalprodukt / E-Book
 
eBook, PDF
325 Seiten
erschienen am
19.12.2003
Sprache
Englisch
Rubrik
Computerprogrammierung und Softwareentwicklung
ISBN-10
3-540-24622-3
Lieferstatus
verfügbar
Preis
53,49 €*
eBook 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)
Veranstaltung eintragen

Passend

Buchcover Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation