von Jozef Hooman
Taschenbuch
ISBN: 978-3-540-54947-5
ISBN-10: 3-540-54947-1
Springer · 2008
|
|
von Jozef HoomanTaschenbuch
ISBN: 978-3-540-54947-5 ISBN-10: 3-540-54947-1 Springer · 2008 |
| Siehe auch (möglicherweise von anderen Autoren): | ||
| 1991 | Paperback | Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science) |