Advanced topics in bisimulation and coinduction /

Hasło dodatkowe:: Sangiorgi, Davide (1964- ). Red.
Hasło dodatkowe:: Rutten, Johannes Josephus Martinus Matheus (1959- ). Red.
Hasło dodatkowe:: Cambridge University Press.
Odpowiedzialność:: edited by Davide Sangiorgi, Jan Rutten.
Miejsce:: Cambridge :
Wydany przez :: Cambridge University Press,
w roku:: 2012.
Opis fizyczny:: XIII, 326 s. : il. ; 24 cm.
Seria:: (Cambridge Tracts in Theoretical Computer Science ISSN 0956-9103 52)
(Cambridge Tracts in Theoretical Computer Science ; 52)
Uwagi:: Bibliogr. po rozdz.
ISBN:: 978-1-107-00497-9
UKD:: 004.62:512:004.94](075.8)=111

Dopowiedzenie klasyfikacji (UKD):: Przetwarzanie danych. Przygotowanie, ładowanie zdalne, eksport, import.
(Podręczniki dla szkół wyższych. Skrypty).
=Język angielski.
Hasła przedmiotowe:
Rodzaj dokumentu:: Książka

Tylko dostępne

Egzemplarz
miejsce	numer inwentarzowy	sygnatura	status	data zwrotu	ostatnia akcja w systemie	akcje
T T.17901 krótkoterminowe	T.17901	Czytelnia ul. Cukrowa 8 : SIL obcojęzyczny T.17901	krótkoterminowe		01/07/2014	Zamów