|
|
.
|
|
|
0 (hodnocen0 x )
|
|
|
EB
|
|
|
ONLINE
|
|
|
|
|
|
|
|
|
Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008
|
|
|
1 online resource (ix, 318 p.) : ill
|
| Externí odkaz |
 Plný text PDF
|
|
* Návod pro vzdálený přístup
|
|
|
|
|
|
|
|
|
|
ISBN 1586038435
|
|
|
ISBN 9781586038434
|
|
|
NATO security through science series. D, Information and communication security, ISSN 1874-6268 ; v. 14
|
|
|
|
|
|
|
|
|
|
|
|
"Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007."--T.p. verso
|
|
|
Includes bibliographical references and index
|
|
|
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
001699157
|
|
|
full
|
|
|
(Au-PeEL)EBL346214
|
|
|
(CaONFJC)MIL173346
|
|
|
(CaPaEBR)ebr10231732
|
|
|
(MiAaPQ)EBC346214
|
|
|
(OCoLC)437213124
|
Dotazy a připomínky