Introduction to Bisimulation and Coinduction
| dc.contributor.author | Sangiorgi, Davide | |
| dc.date.accessioned | 2019-01-02T13:43:19Z | |
| dc.date.accessioned | 2024-04-26T12:45:22Z | |
| dc.date.available | 2019-01-02T13:43:19Z | |
| dc.date.available | 2024-04-26T12:45:22Z | |
| dc.date.issued | 2012 | |
| dc.identifier.isbn | 978-1-107-00363-7 | |
| dc.identifier.uri | https://drs.ess.gov.et/handle/12345678/33595 | |
| dc.language.iso | en | en_US |
| dc.publisher | Cambridge | en_US |
| dc.subject | Introduction to Bisimulation and Coinduction | en_US |
| dc.title | Introduction to Bisimulation and Coinduction | en_US |
| dc.type | Book | en_US |