01315nam a2200301 a 4500 vtls000055022 KUKTEM 20251125093023.0 110722t2011 ne a f 001 0 eng d 9781607507109 1607507102 201204181016 asmadi 201203161525 asmadi 201107220958 safura UMP QA76.9.A25 S64 2011 Software and systems safety : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare Amsterdam : IOS Press, 2011 ix, 285 p. : ill. ; 25 cm. NATO science for peace and security series: Sub-series D: Information and communication security, 1874-6268 ; vol. 30 Includes bibliographical references and index Computer security Congresses Computer software Verification Congresses Software engineering Congresses Broy, Manfred Leuxner, Christian Hoare, Tony NATO science for peace and security series: Sub-series D: Information and communication security, 1874-6268 ; vol. 30 0 0 0 0 20000 20000 2019-09-04 530.35 0 QA76.9.A25 S64 2011 0000063699 2019-09-04 00:00:00 1 530.35 2019-09-04 OPEN VIRTUA40 60590 60596 VTLSSORT0080*0200*0201*0400*0900*2450*2600*3000*4900*5040*6500*6501*6502*7000*7001*7002*8300*9991