Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings /

Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings /

Show other versions (2)

This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. The 24 revised full...

Full description

Bibliographic Details
Corporate Author: VMCAI 2011 Austin, Tex.
Other Authors: Jhala, Ranjit, Schmidt, David A., 1953 May 10-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; Heidelberg ; New York : Springer, ©2011
Series:LNCS sublibrary Theoretical computer science and general issues.
Lecture notes in computer science ; 6538
Subjects:
Computer software > Verification > Congresses
Computer software > Verification
Informatique
algorithms
algoritmen
computer analysis
computer sciences
computeranalyse
computerwetenschappen
logic
logica
mathematics
programmeertalen
programmeren
programming languages
programming
software engineering
wiskunde
Informatie- en communicatietechnologie (algemeen)
Information and Communication Technology (General)
Electronic books
Conference papers and proceedings

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: INTERNET RESOURCE

Similar Items