Introduction to bisimulation and coinduction /
- Autor:
- Sangiorgi, Davide (1964- ).
- Hasło dodatkowe:
- Cambridge University Press.
- Odpowiedzialność:
- Davide Sangiorgi.
- Miejsce:
- Cambridge :
- Wydany przez :
- Cambridge University Press,
- w roku:
- 2012.
- Opis fizyczny:
- XII, 247 s. : il. ; 25 cm.
- Uwagi:
-
Bibliogr. s. 235-243. Indeks.
- ISBN:
- 978-1-107-00363-7
- UKD:
- 004.04=111
Dostępne pozycje
| Egzemplarz | ||||||
|---|---|---|---|---|---|---|
| miejsce | numer inwentarzowy | sygnatura | status | data zwrotu | akcje | |
| T T.18364 krótkoterminowe | T.18364 |
Czytelnia ul. Cukrowa 8 : SIL obcojęzyczny T.18364 |
krótkoterminowe | Zamów | ||