Formal methods for real-time computing
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | , |
| Formato: | Libro |
| Lengua: | inglés |
| Datos de publicación: |
Chichester :
[S.n.],
1996
|
| Edición: | Repr. ed. |
| Series: | Trends in Software
5 |
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Descripción Física: | xvii, 271 p. : il. ; 24 cm. |
| ISBN: | 0471958352 |