Catalog

Record Details

Catalog Search


Search Results Showing Item 1 of 1

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Logozzo, Francesco. (editor.). Peled, Doron A. (editor.). Zuck, Lenore D. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783540781639
  • Physical Description: electronic
    electronic resource
    access
    remote
    online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Subject: Computer science
Software engineering
Logic design
Computer Science
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Software Engineering
Search Results Showing Item 1 of 1

Additional Resources