Summary goes here
Kaydedildi:
| Materyal Türü: | Kitap |
|---|---|
| Dil: | İngilizce |
| Konular: | |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | dcf75fc1-1dcf-4fd8-acda-581550089dca |
| isbn | 9781139161381 (electronic bk.) 1139161385 (electronic bk.) |
| issn | |
| language | eng |
| physical | 1 online resource (xii, 247 p.) :ill. |
| publication | – publisher: Cambridge University Press dateOfPublication: 2012 |
| publishDate | 2012 |
| subjects | |
| title | An introduction to bisimulation and coinduction Davide Sangiorgi. [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. |