Formal models and techniques for analyzing security protocols /
- Hasło dodatkowe:
- Cortier, Véronique. Red.
- Hasło dodatkowe:
- Kremer, Steve. Red.
- Hasło dodatkowe:
- IOS Press.
- Odpowiedzialność:
- ed. by Véronique Cortier and Steve Kremer.
- Miejsce:
- Amsterdam [etc.] :
- Wydany przez :
- IOS Press,
- w roku:
- cop. 2011.
- Opis fizyczny:
- VII, [1], 303 s. : il. ; 25 cm.
- Seria:
-
(Cryptology and Information Security Series ISSN 1871-6431 5)
(Cryptology and Information Security Series, 1871-6431 ; vol. 5) - Uwagi:
-
ISSN 1871-6431 opatrzony notą: print. Na ks. ponadto drugi ISSN 1879-8101 z notą: online.
Bibliogr. przy rozdz. Indeks.
- ISBN:
- 978-1-60750-713-0 (print)
- UKD:
- 004.056.55:004.057.4-049.5:005.922.1:003.26](07)=111
Dostępne pozycje
| Egzemplarz | ||||||
|---|---|---|---|---|---|---|
| miejsce | numer inwentarzowy | sygnatura | status | data zwrotu | akcje | |
| T T.15641 krótkoterminowe | T.15641 |
Czytelnia ul. Cukrowa 8 : SIL obcojęzyczny T.15641 |
krótkoterminowe | Zamów | ||