Verification, Model Checking, and Abstract Interpretation - Softcover

 
9783540819417: Verification, Model Checking, and Abstract Interpretation

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Weitere beliebte Ausgaben desselben Titels

9783540311393: Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings: 3855 (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  3540311394 ISBN 13:  9783540311393
Verlag: Springer, 2008
Softcover