Temporal verification of reactive systems : safety
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | |
| Formato: | Libro |
| Lengua: | inglés |
| Datos de publicación: |
Nueva York :
[S.n.],
1995
|
| Edición: | 1a. ed. |
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Descripción Física: | xviii, 512: 24cm |
| ISBN: | 0387944591 |