01218nam a2200289 a 4500 vtls000074514 KUKTEM 20251125095834.0 130910t2012 waua f bi 001 0 eng d 9781614990277 1614990271 201408121232 safura 201309101120 fauzi UMP QA76.76.V47 S64 2011 Software safety and security : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann Washington, DC : IOS Press published in cooperation with NATO Emerging Security Challenges Division, 2012 ix, 387 p. : ill. ; 25 cm. NATO science for peace and security series. Sub-series D: Information and communication security Includes bibliographical references and indexes Computer software Verification Congresses Computer security Congresses Computer security Congresses Nipkow, Tobias Grumberg, Orna Hauptmann, Benedikt 0 0 0 0 20000 20000 2019-09-04 559.30 0 QA76.76.V47 S64 2011 0000085488 2019-09-04 00:00:00 1 559.30 2019-09-04 OPEN VIRTUA40 75205 75211 VTLSSORT0080*0200*0201*0400*0900*2450*2600*3000*4900*5040*6500*6501*6502*7000*7001*7002*9992