Hybrid Systems III : Verification and Control
- 種類:
- 電子ブック
- 責任表示:
- edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag
- 出版情報:
- Berlin, Heidelberg : Springer-Verlag, 1996
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 1066
- ISBN:
- 9783540683346 [3540683348]
- ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer-Verlag |
|
Springer-Verlag |
Springer-Verlag |
|
Springer-Verlag | |
|
Springer-Verlag | |
|
Springer-Verlag |
Springer-Verlag |
|
Springer-Verlag |
