Introduction to Bisimulation and Coinduction

Author
Davide Sangiorgi
Publisher
Cambridge University Press
Language
English
Year
2011
Page
261
ISBN
1107003636,9781107003637
File Type
pdf
File Size
1.3 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book