Specification and proof in real-time CSP /

Autor:: Davies, Jim.
Hasło dodatkowe:: Cambridge University Press.
Odpowiedzialność:: Jim Davies.
Wydanie:: 1st paperback ed.
Miejsce:: New York :
Wydany przez :: Cambridge University Press,
w roku:: 2011.
Opis fizyczny:: XVII, 180 s. : il. ; 25 cm.
Seria:: (Distinguished Dissertations in Computer Science )
(Distinguished Dissertations in Computer Science )
Uwagi:: Druk cyfrowy.

Bibliogr. s. [175]-180.

Repr., oryg.: 1993.
ISBN:: 978-0-521-45055-3
UKD:: 004.62:004.4:004.732:007.3:004.057.4]=111

Dopowiedzenie klasyfikacji (UKD):: Przetwarzanie danych. Przygotowanie, ładowanie zdalne, eksport, import.
=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.16757 krótkoterminowe	T.16757	Czytelnia ul. Cukrowa 8 : SIL obcojęzyczny T.16757	krótkoterminowe		05/05/2014	Zamów