| 000 | 04675cam a2200709 a 4500 | ||
|---|---|---|---|
| 001 | ocn430325602 | ||
| 003 | OCoLC | ||
| 005 | 20240829154300.0 | ||
| 006 | m d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 090813s2009 ne a ob 101 0 eng d | ||
| 040 |
_aN$T _beng _epn _cN$T _dOCLCQ _dIOSPR _dEBLCP _dOCLCQ _dMHW _dOCLCQ _dOCLCO _dOCLCQ _dYDXCP _dOCLCF _dCOO _dIDEBK _dOCLCQ _dNLGGC _dOCLCO _dDEBSZ _dOCLCO _dOCLCQ _dOCLCO _dOCL _dOCLCO _dOCLCQ _dJBG _dAGLDB _dZCU _dOCLCQ _dMERUC _dU3W _dOCLCA _dSTF _dOCLCQ _dVTS _dICG _dINT _dVT2 _dOCLCQ _dWYU _dTKN _dOCLCQ _dDKC _dOCLCQ _dM8D _dOCLCQ _dAJS _dOCLCO _dOCLCQ _dOCLCO |
||
| 019 |
_a491253343 _a1055379138 _a1066667483 _a1081212058 _a1228618501 |
||
| 020 |
_a9781441616135 _q(electronic bk.) |
||
| 020 |
_a1441616136 _q(electronic bk.) |
||
| 020 | _a9781607504108 | ||
| 020 | _a1607504103 | ||
| 020 | _a9781586039769 | ||
| 020 | _a1586039768 | ||
| 035 |
_a281426 _b(N$T) |
||
| 035 |
_a(OCoLC)430325602 _z(OCoLC)491253343 _z(OCoLC)1055379138 _z(OCoLC)1066667483 _z(OCoLC)1081212058 _z(OCoLC)1228618501 |
||
| 037 |
_a978-1-58603-976-9 _bIOS Press _nhttp://www.iospress.nl |
||
| 050 | 4 |
_aQA76.758 _b.N3846 2008eb |
|
| 072 | 7 |
_aCOM _xCOM014000 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1 _222 |
| 049 | _aMAIN | ||
| 111 | 2 |
_aNATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security _d(2008 : _cMarktoberdorf, Germany) _9465556 |
|
| 245 | 1 | 0 |
_aEngineering methods and tools for software safety and security / _cedited by Manfred Broy, Wassiou Sitou and Tony Hoare. |
| 260 |
_aAmsterdam, Netherlands ; _aWashington, DC : _bIOS Press, _c©2009. |
||
| 300 |
_a1 online resource (ix, 333 pages) : _billustrations |
||
| 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, _x1874-6268 ; _vv. 22 |
|
| 500 | _a"Proceedings of the NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security, Marktoberdorf, Germany, 5-17 August 2008"--Title page verso | ||
| 504 | _aIncludes bibliographical references and index. | ||
| 505 | 0 | _aTitle page; Preface; Contents; A Mechanical Press Controller Development; Synchronous Techniques for Software and Hardware Embedded Systems; Relating Time and Causality in Interactive Distributed Systems; Incremental Design of Distributed Systems with Event-B; Principles of Program Termination -- Notes for the Marktoberdorf Summer School; Graphical Models of Separation Logic; Verification, Performance Analysis and Controller Synthesis for Real-Time Systems; Specification and Verification of Object-Oriented Software. | |
| 520 | _aBased on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides a presentation of topics on how to meet such challenges covering both theoretical foundations and industrial practice. | ||
| 588 | 0 | _aPrint version record. | |
| 590 | _aAdded to collection customer.56279.3 | ||
| 650 | 0 |
_aSoftware engineering _vCongresses. _915264 |
|
| 650 | 0 |
_aComputer security _vCongresses. _914968 |
|
| 650 | 6 |
_aGénie logiciel _vCongrès. _918168 |
|
| 650 | 6 |
_aSécurité informatique _vCongrès. _917411 |
|
| 650 | 7 |
_aCOMPUTERS _xProgramming _xOpen Source. _2bisacsh _94346 |
|
| 650 | 7 |
_aCOMPUTERS _xSoftware Development & Engineering _xTools. _2bisacsh _94348 |
|
| 650 | 7 |
_aCOMPUTERS _xSoftware Development & Engineering _xGeneral. _2bisacsh _94347 |
|
| 650 | 7 |
_aComputer security _2fast _92191 |
|
| 650 | 7 |
_aSoftware engineering _2fast _914736 |
|
| 655 | 7 |
_aConference papers and proceedings _2fast _96065 |
|
| 700 | 1 |
_aBroy, M., _d1949- _916822 |
|
| 700 | 1 |
_aSitou, Wassiou. _9465557 |
|
| 700 | 1 |
_aHoare, C. A. R. _q(Charles Antony Richard), _d1934- _948046 |
|
| 776 | 0 | 8 |
_iPrint version: _aNATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security (2008 : Marktoberdorf, Germany). _tEngineering methods and tools for software safety and security. _dAmsterdam, Netherlands ; Washington, DC : IOS Press, ©2009 _z9781586039769 _z1586039768 _w(OCoLC)313654208 |
| 830 | 0 |
_aNATO science for peace and security series. _nSub-series D, _pInformation and communication security ; _vv. 22. _9390686 |
|
| 856 | 4 | 0 |
_3EBSCOhost _uhttps://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=281426 |
| 938 |
_aEBL - Ebook Library _bEBLB _nEBL448762 |
||
| 938 |
_aEBSCOhost _bEBSC _n281426 |
||
| 938 |
_aYBP Library Services _bYANK _n3318104 |
||
| 938 |
_aYBP Library Services _bYANK _n3084028 |
||
| 994 |
_a92 _bN$T |
||
| 999 |
_c684908 _d684908 |
||