Computer aided verification : proceedings / Ahmed Bouajjani, Oded Maler (eds.).
Series Lecture notes in computer science ; v. 5643 | LNCS ; v. 5643Detalles de publicación: Berlin ; New York : Springer, 2009.Descripción: xv, 722 p. : il. ; 24 cmISBN:- 9783642026577
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. 5643 | Disponible | 20545 |
Total de reservas: 0
Includes bibliographical references and index.