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