Verification, model checking and abstract interpretation : proceedings / Neil D. Jones, Markus Müller-Olm (eds.).
By: (10th : VMCAI (10th : 2009 : Savannah, Ga.).
Contributor(s): Jones, Neil D [ed.]
| Müller-Olm, Markus [ed.].
Material type: 
BookSeries: Lecture notes in computer science v. 5403; LNCS ; v. 5403.Publisher: Berlin ; New York : Springer, c2009Description: xi, 380 p. : il. ; 24 cm.ISBN: 9783540938996.Subject(s): Specifying and verifying | Reasoning about programs | Semantics of programming languages | Formal definitions and theory | Program verification
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
Libro
|
FaMAF Sección Lecture Notes | C LNCS v. 5403 | Available | 20542 |
Total holds: 0
Includes bibliographical references and index.