Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Show other versions (1)
Bibliographic Details
Main Author: Barthe, Gilles
Corporate Author: SpringerLink (Online service)
Other Authors: Hermenegildo, Manuel
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Series:Lecture Notes in Computer Science 5944
Subjects:
Computer science
Software engineering
Computer software
Logic design
Computer Science
Software Engineering
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Algorithm Analysis and Problem Complexity
Programming Techniques
Software Engineering/Programming and Operating Systems
Online Access:http://dx.doi.org/10.1007/978-3-642-11319-2
Description
Physical Description:v.: digital
ISBN:9783642113192
ISSN:0302-9743

Similar Items