Verwandte Artikel zu Verification, Model Checking, and Abstract Interpretation:...

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ... Notes in Computer Science, 3855, Band 3855) - 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, ... Notes in Computer Science, 3855, Band 3855)
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.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540311394
ISBN 13 
9783540311393
Einband
Taschenbuch
Anzahl der Seiten
458
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland