An edition of Verification, Model Checking, and Abstract Interpretation
(2005)
Verification, Model Checking, and Abstract Interpretation
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science)
1 edition
by Kedar S. Namjoshi and Andreas Podelski
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Computer Programming, Computers, Computers - General Information, Computer Books: General, Logic Design, Programming - Software Development, Programming Languages - General, Computers / Logic Design, abstarct interpretation, abstract domains, abstraction, debugging techniques, deductive methods, formal methods, formal verification, higher-order languages, model checking, optimization, Computer Science, Operating Systems - General, Computer programs, Congresses, Verification| Edition | Availability |
|---|---|
1
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science)
February 21, 2007, Springer
Paperback
in English
- 1 edition
3540697357 9783540697350
|
aaaa
|
2
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
2007, Springer London, Limited
in English
3540697381 9783540697381
|
zzzz
|
|
3
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
2005, Springer London, Limited
in English
3540316221 9783540316220
|
zzzz
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| December 17, 2020 | Edited by MARC Bot | import existing book |
| August 20, 2020 | Edited by ImportBot | import existing book |
| July 22, 2019 | Edited by MARC Bot | remove fake subjects |
| August 22, 2017 | Created by MARC Bot |