Formal methods for real-time computing / edited by Constance Heitmeyer and Dino Mandrioli
- 資料種別:
- 図書
- 出版情報:
- New York : John Wiley, c1996
- 形態:
- xvii, 271 p. ; 24 cm
- シリーズ名:
- Trends in software ; 5 <BA20449605>
- 著者名:
- ISBN:
- 9780471958352 [0471958352]
- 書誌ID:
- BA27859649
類似資料:
Prentice-Hall |
Published for the International Federation of Automatic Control by Pergamon |
Holt, Rinehart and Winston | |
SpringerLink Books - AutoHoldings, Springer International Publishing |
Taylor & Francis, CRC Press |
IEEE Computer Society Press |
P. Peregrinus on behalf of the Institution of Electrical Engineers |
IEEE Computer Society Press |
Springer-Verlag |
IEEE Computer Society Press |
Springer-Verlag |