Advanced topics in bisimulation and coinduction
- Författare
- (Edited by Davide Sangiorgi, Jan Rutten.)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge University Press | 2012 | Storbritannien, Cambridge, New York | 326 sidor. | 978-1-107-00497-9 |
| Cambridge University Press | 2011 | Storbritannien, Cambridge | 1 online resource (342 sidor.) | 978-1-139-15934-0 |