Verification, Model Checking, and Abstract Interpretation 1

Data & IT

Verification, Model Checking, and Abstract Interpretation

E Allen Emerson • Kedar S Namjoshi

Pocket

749:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

443 sidor
2005

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.

Författare: E Allen Emerson, Kedar S Namjoshi
Format: Pocket/Paperback
ISBN: 9783540311393
Språk: Engelska
Antal sidor: 443
Utgivningsdatum: 2005-12-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K