by C. Rattray
Paperback
ISBN: 978-0-387-19581-0
ISBN-10: 0-387-19581-5
Springer Nature · 1990
|
|
by C. RattrayPaperback
ISBN: 978-0-387-19581-0 ISBN-10: 0-387-19581-5 Springer Nature · 1990 |
| See also (possibly by other authors): | ||
| 1990 | Taschenbuch | Specification and Verification of Concurrent Systems (Workshops in Computing) |