von Ron Koymans
Taschenbuch
ISBN-13: 978-3-540-56283-2
ISBN-10: 3-540-56283-4
Springer · 2008
|
|
von Ron KoymansTaschenbuch
ISBN-13: 978-3-540-56283-2 ISBN-10: 3-540-56283-4 Springer · 2008 |
| S. auch: | ||
| 1992 | Paperback | Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science) |