Software safety and security : tools for analysis and verification /
- Podtytuł:
- tools for analysis and verification /
- Hasło dodatkowe:
- Nipkow, Tobias (1958- ). Red.
- Hasło dodatkowe:
- Grumberg, Orna. Red.
- Hasło dodatkowe:
- Hauptmann, Benedikt. Red.
- Hasło dodatkowe:
- IOS Press.
- Odpowiedzialność:
- ed. by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
- Miejsce:
- Amsterdam [etc.] :
- Wydany przez :
- IOS Press,
- w roku:
- cop. 2012.
- Opis fizyczny:
- IX, 387 s. : il. ; 25 cm.
- Seria:
-
(NATO Science for Peace and Security Series. D,Information and Communication Security ISSN 1874-6268 vol. 33)
(NATO Science for Peace and Security Series. Sub-Series D, Information and Communication Security, 1874-6268 ; vol. 33) - Uwagi:
-
Bibliogr. przy rozdz. Indeks.
- ISBN:
- 978-1-61499-027-7 (print)
- UKD:
- 004.056:004.056.5:004.4]=111
Dostępne pozycje
| Egzemplarz | ||||||
|---|---|---|---|---|---|---|
| miejsce | numer inwentarzowy | sygnatura | status | data zwrotu | akcje | |
| T T.15780 krótkoterminowe | T.15780 |
Czytelnia ul. Cukrowa 8 : SIL obcojęzyczny T.15780 |
krótkoterminowe | Zamów | ||