Gebunden
ISBN: 978-3-7643-3625-7
ISBN-10: 3-7643-3625-0
|
|
Gebunden
ISBN: 978-3-7643-3625-7 ISBN-10: 3-7643-3625-0 |
| S. auch (eventuell von anderen Autoren): | ||
| 1992 | Hardcover | Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science) |