Logics and languages for reliability and security / ed. by Javier Esparza, Bernd Spanfelner and Orna Grumberg.
    Amsterdam [etc.] : IOS Press, cop. 2010. IX, 325 s. : il. ; 25 cm.
    (NATO Science for Peace and Security Series. Sub-Series D, Information and Communication Security, ISSN 1874-6268 ; vol. 25)
    (NATO Science for Peace and Security Series. Information and Communication Security ISSN 1874-6268 D,)
    ISBN 978-1-60750-099-5 (print)     ISBN 978-1-60750-100-8 (online)

   
T.15741        UKD: 004.4:004.056]=111