Normal view MARC view ISBD view

Verification, Model Checking, and Abstract Interpretation

Cook, Byron.

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings / [electronic resource] : edited by Byron Cook, Andreas Podelski. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4349 0302-9743 ; .

ISBN: 9783540697381

Subjects--Topical Terms:
Computer science
Software engineering
Logic design
Computer Science
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Software Engineering

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)