Software and systems safety : specification and verification /

Podtytuł:: specification and verification /
Hasło dodatkowe:: Broy, Manfred (1949- ). Red.
Hasło dodatkowe:: Leuxner, Christian. Red.
Hasło dodatkowe:: Hoare, Charles Antony Richard (1934- ). Red.
Hasło dodatkowe:: IOS Press.
Odpowiedzialność:: ed. by Manfred Broy, Christian Leuxner and Tony Hoare.
Miejsce:: Amsterdam [etc.] :
Wydany przez :: IOS Press,
w roku:: cop. 2011.
Opis fizyczny:: IX, 285 s. : il. ; 25 cm.
Seria:: (NATO Science for Peace and Security Series. D,Information and Communication Security ISSN 1874-6268 vol. 30)
(NATO Science for Peace and Security Series. Sub-Series D, Information and Communication Security, 1874-6268 ; vol. 30)
Uwagi:: Bibliogr. przy rozdz. Indeks.
ISBN:: 978-1-60750-710-9 (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.15779 krótkoterminowe	T.15779	Czytelnia ul. Cukrowa 8 : SIL obcojęzyczny T.15779	krótkoterminowe		01/04/2014	Zamów