Real-time systems specification, verification, and analysis
| Kolejni autorzy: | |
|---|---|
| Format: | Książka |
| Wydane: |
London
Prentice Hall
1996.
|
| Seria: | Prentice Hall International series in computer science
|
| Hasła przedmiotowe: |