E-book
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings / edited by E. Allen Emerson, Kedar S. Namjoshi.
Record details
- ISBN: 9783540316220
- Physical Description: XI, 443 p. Also available online. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Search for related items by subject
| Subject: | Computer science. Software engineering. Logic design. Computer Science. Logics and Meanings of Programs. Software Engineering. Programming Languages, Compilers, Interpreters. |
