| LDR | | 02650cmm uu200529Ia 4500 |
| 001 | | 000000305716 |
| 005 | | 20230525101315 |
| 006 | | m o d |
| 007 | | cr cnu---unuuu |
| 008 | | 131022s2013 ne a ob 101 0 eng d |
| 016 | 7 |
▼a 016505928
▼2 Uk |
| 020 | |
▼a 9781614992073 (electronic bk.) |
| 020 | |
▼a 161499207X (electronic bk.) |
| 020 | |
▼z 9781614992066 |
| 020 | |
▼z 1614992061 |
| 035 | |
▼a (OCoLC)861257467 |
| 040 | |
▼a YDXCP
▼b eng
▼e pn
▼c YDXCP
▼d UKMGB
▼d IOSPR
▼d E7B
▼d OCLCA
▼d N$T
▼d OCLCO
▼d OCLCQ
▼d 248032 |
| 049 | |
▼a K4RA |
| 050 | 4 |
▼a QA76.76.V47
▼b N38 2012 |
| 072 | 7 |
▼a COM
▼x 051230
▼2 bisacsh |
| 082 | 04 |
▼a 005.1/4
▼2 23 |
| 111 | 2 |
▼a NATO Advanced Study Institute on Engineering Dependable Software Systems
▼d (2012 :
▼c Marktoberdorf, Germany) |
| 245 | 10 |
▼a Engineering dependable software systems
▼h [electronic resource] /
▼c edited by Manfred Broy, Doron Peled and Georg Kalus. |
| 264 | 1 |
▼a Amsterdam :
▼b IOS Press,
▼c [2013] |
| 300 | |
▼a 1 online resource (ix, 365 pages .). |
| 336 | |
▼a text
▼b txt
▼2 rdacontent |
| 337 | |
▼a computer
▼b c
▼2 rdamedia |
| 338 | |
▼a online resource
▼b cr
▼2 rdacarrier |
| 490 | 1 |
▼a NATO science for peace and security series. Sub-series D, Information and communication security ;
▼v vol. 34 |
| 500 | |
▼a "Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso. |
| 500 | |
▼a "Published in cooperation with NATO Emerging Security Challenges Division." |
| 504 | |
▼a Includes bibliographical references and indexes. |
| 588 | |
▼a Description based on print version record. |
| 650 | 0 |
▼a Computer software
▼x Verification
▼v Congresses. |
| 650 | 0 |
▼a Computer systems
▼x Verification
▼v Congresses. |
| 650 | 7 |
▼a COMPUTERS
▼x Software Development & Engineering
▼x General.
▼2 bisacsh |
| 655 | 4 |
▼a Electronic books. |
| 700 | 1 |
▼a Broy, M.,
▼d 1949,
▼e editor of compilation. |
| 700 | 1 |
▼a Peled, Doron A.,
▼d 1962,
▼e editor of compilation. |
| 700 | 1 |
▼a Kalus, Georg,
▼e editor of compilation. |
| 710 | 2 |
▼a NATO Emerging Security Challenges Division. |
| 776 | 08 |
▼i Print version:
▼a NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany).
▼t Engineering dependable software systems
▼z 9781614992066 |
| 830 | 0 |
▼a NATO science for peace and security series.
▼n Sub-series D,
▼p Information and communication security ;
▼v v. 34. |
| 856 | 40 |
▼3 EBSCOhost
▼u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=651776 |
| 938 | |
▼a ebrary
▼b EBRY
▼n ebr10785476 |
| 938 | |
▼a EBSCOhost
▼b EBSC
▼n 651776 |
| 938 | |
▼a YBP Library Services
▼b YANK
▼n 11238851 |
| 990 | |
▼a 관리자 |