Temporal verification of reactive systems : safety / Zohar Manna, Amir Pnueli.
Detalles de publicación: New York : Springer, 1995.Descripción: xviii, 512 p. ; 25 cmISBN:- 0387944591
Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
---|---|---|---|---|---|---|---|
Libro | FaMAF Sección Computación | C F2 M282 | Disponible | 15078 |
Total de reservas: 0