von: Howard Barringer · Behnam Banieqbal · Amir Pnueli
Taschenbuch
ISBN: 978-3-540-51803-7
ISBN-10: 3-540-51803-7
Springer · 2008
|
|
von: Howard Barringer · Behnam Banieqbal · Amir PnueliTaschenbuch
ISBN: 978-3-540-51803-7 ISBN-10: 3-540-51803-7 Springer · 2008 |
| Siehe auch (möglicherweise von anderen Autoren): | ||
| 1989 | Paperback | Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987: Proceedings (Lecture Notes in Computer Science) |