|
|
.
|
|
|
0 (hodnocen0 x )
|
|
|
EB
|
|
|
ONLINE
|
|
|
|
|
|
|
|
|
Amsterdam ; Washington, D.C. : IOS Press, c2006
|
|
|
1 online resource (vii, 235 p.) : ill
|
| Externí odkaz |
 Plný text PDF
|
|
* Návod pro vzdálený přístup
|
|
|
|
|
|
|
|
|
|
ISBN 1586035703
|
|
|
NATO security through science series. D, Information and communication security ; vol. 1
|
|
|
|
|
|
|
|
|
|
|
|
Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timasoara, Romania, March 17-22, 2005
|
|
|
Includes bibliographical references and author index
|
|
|
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
001688418
|
|
|
full
|
|
|
(Au-PeEL)EBL265966
|
|
|
(CaONFJC)MIL50510
|
|
|
(CaPaEBR)ebr10130654
|
|
|
(MiAaPQ)EBC265966
|
|
|
(OCoLC)71251545
|
Dotazy a připomínky