by Robert P. Kurshan
Hardcover
ISBN: 978-0-691-63489-0
ISBN-10: 0-691-63489-0
Princeton University Press · 2016
|
|
by Robert P. KurshanHardcover
ISBN: 978-0-691-63489-0 ISBN-10: 0-691-63489-0 Princeton University Press · 2016 |
| See also: | ||
| 2014 | Paperback | Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Series in Computer Science) |