von B. T. Hailpern
Taschenbuch
EAN=ISBN-13: 978-3-540-11205-1
ISBN-10: 3-540-11205-7
Springer · 2008
|
|
von B. T. HailpernTaschenbuch
EAN=ISBN-13: 978-3-540-11205-1 ISBN-10: 3-540-11205-7 Springer · 2008 |
| S. auch (eventuell von anderen Autoren): | ||
| 1982 | Paperback | Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) |