Introduction to Bisimulation and Coinduction
Full Title: | Introduction to Bisimulation and Coinduction |
---|---|
ISBN: | 1107003636 |
ISBN13: | 9781107003637 |
Authors: |
Sangiorgi, Davide |
Related ISBNs