von Charles Rattray
Taschenbuch
ISBN-13: 978-3-540-19581-8
ISBN-10: 3-540-19581-5
Springer · 1990
|
|
von Charles RattrayTaschenbuch
ISBN-13: 978-3-540-19581-8 ISBN-10: 3-540-19581-5 Springer · 1990 |
| S. auch (eventuell von anderen Autoren): | ||
| 1990 | Paperback | Specification and Verification of Concurrent Systems (Workshops in Computing) |