Verification, model checking and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski (eds.).
Series Lecture notes in computer science ; vol. 4349Detalles de publicación: Berlin ; New York : Springer, c2007.Descripción: xi, 394 p. : il. ; 24 cmISBN:- 9783540697350
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. 4349 | Disponible | 20747 |
Total de reservas: 0
Incluye referencias bibliográficas e índice.