Software safety and security : tools for analysis and verification / ed. by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
    Amsterdam [etc.] : IOS Press, cop. 2012. IX, 387 s. : il. ; 25 cm.
    (NATO Science for Peace and Security Series. Sub-Series D, Information and Communication Security, ISSN 1874-6268 ; vol. 33)
    (NATO Science for Peace and Security Series. Information and Communication Security ISSN 1874-6268 D,)
    ISBN 978-1-61499-027-7 (print)     ISBN 978-1-61499-028-4 (online)

   
T.15780        UKD: 004.056:004.056.5:004.4]=111