Real-time systems specification, verification, and analysis
| Altres autors: | |
|---|---|
| Format: | Llibre |
| Publicat: |
London
Prentice Hall
1996.
|
| Col·lecció: | Prentice Hall International series in computer science
|
| Matèries: |