Verifying concurrent processes using temporal logic
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | , |
| Formato: | Libro |
| Lengua: | inglés |
| Datos de publicación: |
Berlín :
Springer,
1982
|
| Edición: | 1a ed. |
| Series: | Lecture notes in computer science
129 |
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Notas: | Incluye índice y bibliografía. |
| Descripción Física: | viii, 208 p. : il. ; 25 cm. |
| ISBN: | 0387112057 |