Verification, model checking, and abstract interpretation 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings / Viktor Kuncak, Andrey Rybalchenko (eds.)

Author(s): VMCAI 2012 (2012 : Philadelphia, Pa.)
Online: Connect to electronic book
Retrieving Holdings Information
Subjects: Electronic books
Computer programs--Verification--Congresses
Formats: Electronic Resource, Remote
Material Type: Books
Language: English
Audience: Unspecified
Published: Heidelberg ; New York : Springer, c2012
Series: Lecture notes in computer science 7148
LNCS sublibrary: SL 1 - Theoretical computer science and general issues
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science 7148
LC Classification: Q, QA
Physical Description: 1 online resource (xi, 460 p.) : ill. (some col.)
Alternate Titles: Portion of title: VMCAI 2012
In: SpringerLink (OCoLC)43927870
In: OhioLINK electronic book center (Online) (OCoLC)180989150
Print version: Verification, Model Checking, and Abstract Interpretation. (OCoLC)769420128 Springer-Verlag New York Inc 2012 9783642279393
Additional Authors: Kuncak, Viktor
Rybalchenko, Andrey
SpringerLink (Online service)
Notes: ISBN: 9783642279409 (e-ISBN)
ISBN: 3642279406 (e-ISBN)
ISBN: 9783642279393
ISBN: 3642279392
doi: 10.1007/978-3-642-27940-9doi
Includes bibliographical references and index
Description based on online resource; title from PDF t.p. (SpringerLink; viewed May 4, 2012)
OCLC Number: 778886115
ISBN/ISSN: 9783642279409