Search:

Type:

Format:

Library:

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

E-book

E-book

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings / edited by Gilles Barthe, Manuel Hermenegildo.

Barthe, Gilles. (editor.). Hermenegildo, Manuel. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783642113192
Physical Description: X, 397p. 105 illus. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Search for related items by subject

Subject:

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.

Search for related items by series

Add to basket View My Basket Print Email Permalink Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

▼ Additional Content

No Content Available

► Shelf Browser

► MARC Record