Cargando…
Formal methods for real-time computing
Formato: | Libro |
---|---|
Lenguaje: | English |
Publicado: |
New York
: John Wiley & Sons,
1996
|
Colección: | Trends in Software
; 5 |
Materias: |
Descripción Física: | 271 p. : il. ; 25 cm. |
---|---|
ISBN: | 0471958352 |