Temporal verification of reactive systems
Manna, Zohar
- Título:
- Temporal verification of reactive systems: safety
- Autor:
- Manna, Zohar
- Colaboradores:
- Pnuieli, Amir
- Temas:
- SISTEMAS REACTIVOS ;
- Edición:
- 1a. ed.
- Descripción física:
- xviii, 512: 24cm
- ISBN:
- 0387944591
- Idioma:
- Inglés,
- País:
- Estados Unidos
- Publicación:
- Nueva York, 1995
Puede solicitar más fácilmente el ejemplar con: C.3 MAN
Ver estantesSe cuenta con disponibilidad inmediata para llevar a domicilio.
Disponibilidad Actual Para Préstamo: 1 Disponibilidad Actual Para Sala de Lectura: 0 Cantidad Actual de Reservas: 0 Cantidad Actual de Préstamos: 0