Introduction to bisimulation and coinduction
- Författare
- Davide. Sangiorgi
- (Davide Sangiorgi.)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge University Press | 2012 | Storbritannien, Cambridge, New York | 247 sidor. | 978-1-107-00363-7 |
| Cambridge University Press | 2011 | Storbritannien, Cambridge | 1 online resource (262 sidor.) | 978-1-139-15933-3 |