Verification of digital and hybrid systems
- 種類:
- 図書
- 責任表示:
- edited by M. Kemal Inan, Robert P. Kurshan
- 出版情報:
- Berlin : Springer, c2000
- 著者名:
- シリーズ名:
- NATO ASI series ; Series F, Computer and systems sciences ; no. 170 <BA0006594X>
- ISBN:
- 9783540655954 [3540655956]
- 注記:
- Includes bibliographical references and index
類似資料:
|
Kluwer Academic Publishers |
Springer-Verlag US |
|
Princeton University Press |
American Mathematical Society, Association for Computing Machinery |
|
Springer-Verlag |
Wiley |
|
Springer Berlin Heidelberg : Imprint: Springer |
MIT Press |
|
Springer-Verlag | |
|
Springer Berlin Heidelberg : Imprint: Springer |
Prentice-Hall |
