Introduction to Bisimulation and Coinduction
Hardcover: 262 pages
Publisher: Cambridge University Press (October 31, 2011)
Language: English
ISBN-10: 1107003636
ISBN-13: 9781107003637
未经允许不得转载：Wow! eBook » Introduction to Bisimulation and Coinduction