Produktbild: Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10,2006, Proceedings, Lecture Notes in Computer Science 3855 – Theoretical Computer Science and General Issues

ISBN: 3540311394
ISBN 13: 9783540311393
Herausgeber: E Allen Emerson/Kedar S Namjoshi
Verlag: Springer Verlag GmbH
Umfang: xi, 443 S.
Erscheinungsdatum: 19.12.2005
Auflage: 1/2005
Produktform: Kartoniert
Einband: Kartoniert

Proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2006 27 revised full papers feature current research Coverage includes model checking and abstract interpretation, facilitating interaction, cross-fertilization and advancement of hybrid methods

Artikelnummer: 9725086 Kategorie:

Beschreibung

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.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …