| 000 | 02675nam a22004933i 4500 | ||
|---|---|---|---|
| 001 | EBC3563924 | ||
| 003 | MiAaPQ | ||
| 005 | 20240729125934.0 | ||
| 006 | m o d | | ||
| 007 | cr cnu|||||||| | ||
| 008 | 240724s2015 xx o ||||0 eng d | ||
| 020 |
_a9781614994954 _q(electronic bk.) |
||
| 020 | _z9781614994947 | ||
| 035 | _a(MiAaPQ)EBC3563924 | ||
| 035 | _a(Au-PeEL)EBL3563924 | ||
| 035 | _a(CaPaEBR)ebr11079843 | ||
| 035 | _a(CaONFJC)MIL814516 | ||
| 035 | _a(OCoLC)932319999 | ||
| 040 |
_aMiAaPQ _beng _erda _epn _cMiAaPQ _dMiAaPQ |
||
| 050 | 4 | _aQA76.76.V47 D474 2015 | |
| 082 | 0 | _a005.14 | |
| 100 | 1 | _aIrlbeck, M. | |
| 245 | 1 | 0 | _aDependable Software Systems Engineering. |
| 250 | _a1st ed. | ||
| 264 | 1 |
_aAmsterdam : _bIOS Press, Incorporated, _c2015. |
|
| 264 | 4 | _c©2015. | |
| 300 | _a1 online resource (320 pages) | ||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 490 | 1 |
_aNATO Science for Peace and Security Series - d: Information and Communication Security Series ; _vv.40 |
|
| 505 | 0 | _aDEPENDABLE SOFTWARE SYSTEMS ENGINEERING -- Preface -- Contents -- Syntax-Guided Synthesis -- Deconstructing Dynamic Symbolic Execution -- From Actions, Transactions, and Processes to Services -- System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems -- Generating Process Models in Multi-View Environments -- Safety and Dependability -- Evolving Software Ecosystems A Historical and Ecological Perspective -- Framing the Frame Problem -- From Verification to Synthesis -- Defect-Based Testing -- Mechanised Theory Engineering in Isabelle -- A Theory of Networks: In the Beginning . . . -- Subject Index -- Author Index. | |
| 588 | _aDescription based on publisher supplied metadata and other sources. | ||
| 590 | _aElectronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries. | ||
| 650 | 0 | _aComputer software--Verification--Congresses. | |
| 650 | 0 | _aComputer systems--Verification--Congresses. | |
| 655 | 4 | _aElectronic books. | |
| 700 | 1 | _aPeled, D. | |
| 700 | 1 | _aPretschner, A. | |
| 776 | 0 | 8 |
_iPrint version: _aIrlbeck, M. _tDependable Software Systems Engineering _dAmsterdam : IOS Press, Incorporated,c2015 _z9781614994947 |
| 797 | 2 | _aProQuest (Firm) | |
| 830 | 0 | _aNATO Science for Peace and Security Series - d: Information and Communication Security Series | |
| 856 | 4 | 0 |
_uhttps://ebookcentral.proquest.com/lib/orpp/detail.action?docID=3563924 _zClick to View |
| 999 |
_c99001 _d99001 |
||