Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science)
- Författare
- Davide Sangiorgi
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-0-511-79258-8 |