| 000 | 01218nam a2200289 a 4500 | ||
|---|---|---|---|
| 001 | vtls000074514 | ||
| 003 | KUKTEM | ||
| 005 | 20251125095834.0 | ||
| 008 | 130910t2012 waua f bi 001 0 eng d | ||
| 020 | _a9781614990277 | ||
| 020 | _a1614990271 | ||
| 039 | 9 |
_a201408121232 _bsafura _y201309101120 _zfauzi |
|
| 040 | _aUMP | ||
| 090 | _aQA76.76.V47 S64 2011 | ||
| 245 | 0 | 0 |
_aSoftware safety and security : _btools for analysis and verification / _cedited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann |
| 260 |
_aWashington, DC : _bIOS Press published in cooperation with NATO Emerging Security Challenges Division, _c2012 |
||
| 300 |
_aix, 387 p. : _bill. ; _c25 cm. |
||
| 490 | 1 | _aNATO science for peace and security series. Sub-series D: Information and communication security | |
| 504 | _aIncludes bibliographical references and indexes | ||
| 650 | 0 |
_aComputer software _xVerification _vCongresses |
|
| 650 | 0 |
_aComputer security _vCongresses |
|
| 650 | 0 |
_aComputer security _vCongresses |
|
| 700 | 1 | _aNipkow, Tobias | |
| 700 | 1 | _aGrumberg, Orna | |
| 700 | 1 | _aHauptmann, Benedikt | |
| 999 |
_aVIRTUA40 _c75205 _d75211 |
||
| 999 | _aVTLSSORT0080*0200*0201*0400*0900*2450*2600*3000*4900*5040*6500*6501*6502*7000*7001*7002*9992 | ||