von: M. Kemal Inan · Robert P. Kurshan
Gebunden
EAN=ISBN-13: 978-3-540-65595-4
ISBN-10: 3-540-65595-6
Springer · 2000
|
|
von: M. Kemal Inan · Robert P. KurshanGebunden
EAN=ISBN-13: 978-3-540-65595-4 ISBN-10: 3-540-65595-6 Springer · 2000 |
| S. auch: | ||
| 2000 | Taschenbuch | Verification of Digital and Hybrid Systems (Nato ASI Subseries F: (170), Band 170) |