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) - Softcover

Emerson, E. Allen; Namjoshi, Kedar S.

 
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)
Softcover
ISBN 10: 3540311394 ISBN 13: 9783540311393
Verlag: Springer, 2008

Inhaltsangabe

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540311394
ISBN 13 
9783540311393
Einband
Tapa blanda
Anzahl der Seiten
458
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783540819417: Verification, Model Checking, and Abstract Interpretation

Vorgestellte Ausgabe

ISBN 10:  354081941X ISBN 13:  9783540819417
Verlag: Springer, 2008
Softcover