|
|
.
|
|
|
0 (hodnocen0 x )
|
|
|
EB
|
|
|
ONLINE
|
|
|
|
|
|
|
|
|
Washington, D.C. : IOS Press, 2012
|
|
|
1 online resource (ix, 387 p.) : ill
|
| Externí odkaz |
 Plný text PDF
|
|
* Návod pro vzdálený přístup
|
|
|
|
|
|
|
|
|
|
ISBN 9781614990284 (electronic bk.)
|
|
|
ISBN 9781614990277 (hardcover)
|
|
|
ISBN 9781614990284 (online)
|
|
|
NATO science for peace and security series. Sub-series D, Information and communication security, ISSN 1874-6268 ; v. 33
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
"Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--T.p. verso
|
|
|
"Published in cooperation with NATO Emerging Security Challenges Division."
|
|
|
Includes indexes
|
|
|
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
001744014
|
|
|
full
|
|
|
(Au-PeEL)EBL948331
|
|
|
(CaONFJC)MIL371721
|
|
|
(CaPaEBR)ebr10574718
|
|
|
(MiAaPQ)EBC948331
|
|
|
(OCoLC)797917368
|
Dotazy a připomínky