Software and systems safety : specification and verification / ed. by Manfred Broy, Christian Leuxner and Tony Hoare.
    Amsterdam [etc.] : IOS Press, cop. 2011. IX, 285 s. : il. ; 25 cm.
    (NATO Science for Peace and Security Series. Sub-Series D, Information and Communication Security, ISSN 1874-6268 ; vol. 30)
    (NATO Science for Peace and Security Series. Information and Communication Security ISSN 1874-6268 D,)
    ISBN 978-1-60750-710-9 (print)     ISBN 978-1-60750-711-6 (online)

   
T.15779        UKD: 004.4:004.056]=111