Pastāsti draugiem par šo preci:
Advanced Topics in Bisimulation and Coinduction - Cambridge Tracts in Theoretical Computer Science Davide Sangiorgi
Cena
€ 155,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 28. aug. - . gada 11. sept.
Saņemiet paziņojumus par jauniem Davide Sangiorgi izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Advanced Topics in Bisimulation and Coinduction - Cambridge Tracts in Theoretical Computer Science
Davide Sangiorgi
This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics. Seven chapters deal with various aspects of bisimulation and coinduction: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities.
340 pages, 20 b/w illus. 110 exercises
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2011. gada 13. oktobris |
| ISBN13 | 9781107004979 |
| Izdevēji | Cambridge University Press |
| Lapas | 340 |
| Izmēri | 162 × 237 × 24 mm · 598 g |
| Valoda | Angļu |
| Redaktors | Rutten, Jan (Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam) |
| Redaktors | Sangiorgi, Davide |
