Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988
| Autor Corporativo: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Berlin ; New York :
Springer-Verlag
c1988.
|
| Colección: | Lecture notes in computer science ;
331 |
| Materias: |
| Notas: | Papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick. |
|---|---|
| Descripción Física: | vi, 229 p : ill ; 25 cm |
| Bibliografía: | Incluye bibliografía. |
| ISBN: | 9780387503028 |
