Real-time systems specification, verification, and analysis
| Outros Autores: | |
|---|---|
| Formato: | Livro |
| Publicado em: |
London
Prentice Hall
1996.
|
| Colecção: | Prentice Hall International series in computer science
|
| Assuntos: |