25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.).
Series Lecture notes in computer science ; 5000Detalles de publicación: Berlin : Springer, 2008.Descripción: vi, 230 p. : il. ; 24 cmISBN:- 9783540698494
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Computación | C F3 Y397 | Disponible | 20428 |
Total de reservas: 0
Includes bibliographical references and index.