Logics and languages for reliability and security /

Hasło dodatkowe:: Grumberg, Orna. Red.
Hasło dodatkowe:: Esparza, Javier. Red.
Hasło dodatkowe:: Spanfelner, Bernd. Red.
Odpowiedzialność:: ed. by Javier Esparza, Bernd Spanfelner and Orna Grumberg.
Miejsce:: Amsterdam [etc.] :
Wydany przez :: IOS Press,
w roku:: cop. 2010.
Opis fizyczny:: IX, 325 s. : il. ; 25 cm.
Seria:: (NATO Science for Peace and Security Series. D,Information and Communication Security ISSN 1874-6268 vol. 25)
(NATO Science for Peace and Security Series. Sub-Series D, Information and Communication Security, 1874-6268 ; vol. 25)
Uwagi:: Bibliogr. przy rozdz. Indeks.
ISBN:: 978-1-60750-099-5 (print)
UKD:: 004.4:004.056]=111

Tylko dostępne

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