Verification, model checking and abstract interpretation : proceedings / Neil D. Jones, Markus Müller-Olm (eds.).
Series Lecture notes in computer science ; v. 5403 | LNCS ; v. 5403Detalles de publicación: Berlin ; New York : Springer, c2009.Descripción: xi, 380 p. : il. ; 24 cmISBN:- 9783540938996
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Lecture Notes | C LNCS v. 5403 | Disponible | 20542 |
Total de reservas: 0
Includes bibliographical references and index.