Summary goes here
Guardat en:
| Format: | Llibre |
|---|---|
| Idioma: | anglès |
| Matèries: | |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 0df56fc7-a0d0-4e3f-9cfb-5ee8a41efbc5 |
| isbn | 9781139161398 (electronic bk.) 1139161393 (electronic bk.) |
| issn | |
| language | eng |
| physical | 1 online resource (xiii, 326 p.) :ill. |
| publication | – publisher: Cambridge University Press dateOfPublication: 2011 |
| publishDate | 2011 |
| subjects | |
| title | Advanced topics in bisimulation and coinduction edited by Davide Sangiorgi, Jan Rutten. [electronic resource] / |
| topic | Bisimulation. Coinduction (Mathematics) Modality (Logic) Induction (Mathematics) Computer science. COMPUTERS / Networking / General. COMPUTERS / Computer Literacy COMPUTERS / Computer Science COMPUTERS / Data Processing COMPUTERS / Hardware / General COMPUTERS / Information Technology COMPUTERS / Machine Theory COMPUTERS / Reference Electronic books. |