| 000 | 05025cam a2200973 i 4500 | ||
|---|---|---|---|
| 001 | ocn932170179 | ||
| 003 | OCoLC | ||
| 005 | 20250703164356.0 | ||
| 006 | m o d | ||
| 007 | cr nn|008mamaa | ||
| 008 | 151016s2015 gw a od 100 0 eng d | ||
| 040 |
_aNUI _beng _epn _cNUI _dOCLCO _dORU _dOCLCF _dGW5XE _dOCLCO _dYDXCP _dOCLCO _dOCLCQ _dOCLCO _dKSU _dIAS _dJBG _dIAO _dICN _dVT2 _dIAD _dSOI _dOCLCQ _dILO _dESU _dOCLCQ _dIOG _dU3W _dBUF _dOCLCQ _dCEF _dTFW _dOCLCQ _dAU@ _dWYU _dOCLCQ _dDCT _dERF _dOCLCQ _dUKAHL _dCOM _dOCLCO _dOCL _dOCLCQ _dOCLCO _dOCLCL _dOCLCQ |
||
| 019 |
_a932002748 _a961896873 _a963332362 _a964865859 _a1005772991 _a1012075152 _a1027494392 _a1048146917 _a1066428634 _a1081232849 _a1086420388 _a1110886467 _a1112581288 |
||
| 020 |
_a9783319259420 _q(electronic bk.) |
||
| 020 |
_a3319259423 _q(electronic bk.) |
||
| 020 | _z9783319259413 | ||
| 020 | _z3319259415 | ||
| 024 | 7 |
_a10.1007/978-3-319-25942-0 _2doi |
|
| 029 | 1 |
_aAU@ _b000057667392 |
|
| 029 | 1 |
_aNLGGC _b400332744 |
|
| 029 | 1 |
_aDKDLA _b820120-katalog:999908434205765 |
|
| 035 |
_a(OCoLC)932170179 _z(OCoLC)932002748 _z(OCoLC)961896873 _z(OCoLC)963332362 _z(OCoLC)964865859 _z(OCoLC)1005772991 _z(OCoLC)1012075152 _z(OCoLC)1027494392 _z(OCoLC)1048146917 _z(OCoLC)1066428634 _z(OCoLC)1081232849 _z(OCoLC)1086420388 _z(OCoLC)1110886467 _z(OCoLC)1112581288 |
||
| 037 | _bSpringer | ||
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 049 | _aMAIN | ||
| 111 | 2 |
_aSymposium on Dependable Software Engineering: Theories, Tools and Applications _n(1st : _d2015 : _cNanjing, China) _955800 |
|
| 245 | 1 | 0 |
_aDependable Software Engineering: Theories, Tools, and Applications : _bFirst International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / _cedited by Xuandong Li, Zhiming Liu, Wang Yi. |
| 246 | 3 | _aSETTA 2015 | |
| 264 | 1 |
_aCham : _bSpringer, _c2015. |
|
| 300 |
_a1 online resource (xix, 317 pages) : _bcolor illustrations |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 | _atext file | ||
| 347 | _bPDF | ||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v9409 |
|
| 490 | 1 | _aLNCS sublibrary. SL 2, Programming and software engineering | |
| 520 | _aThis book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies. | ||
| 650 | 0 |
_aSoftware engineering _vCongresses. _915264 |
|
| 650 | 0 |
_aComputer science. _9941 |
|
| 650 | 0 |
_aSoftware engineering. _914736 |
|
| 650 | 0 |
_aComputer logic. _96177 |
|
| 650 | 0 |
_aLogic, Symbolic and mathematical. _91341 |
|
| 650 | 0 |
_aComputer simulation. _92625 |
|
| 650 | 2 |
_aElectronic Data Processing _96665 |
|
| 650 | 2 |
_aComputer Simulation _92625 |
|
| 650 | 6 |
_aGénie logiciel _vCongrès. _918168 |
|
| 650 | 6 |
_aInformatique. _914930 |
|
| 650 | 6 |
_aGénie logiciel. _919335 |
|
| 650 | 6 |
_aLogique informatique. _919533 |
|
| 650 | 6 |
_aLogique symbolique et mathématique. _911864 |
|
| 650 | 6 |
_aSimulation par ordinateur. _911506 |
|
| 650 | 7 |
_asimulation. _2aat _92395 |
|
| 650 | 7 |
_aComputer logic _2fast _96177 |
|
| 650 | 7 |
_aComputer science _2fast _9941 |
|
| 650 | 7 |
_aComputer simulation _2fast _92625 |
|
| 650 | 7 |
_aLogic, Symbolic and mathematical _2fast _91341 |
|
| 650 | 7 |
_aSoftware engineering _2fast _914736 |
|
| 655 | 2 |
_aDictionary _9142581 |
|
| 655 | 2 |
_aCongress _911670 |
|
| 655 | 7 |
_adictionaries. _2aat _996209 |
|
| 655 | 7 |
_aproceedings (reports) _2aat |
|
| 655 | 7 |
_aDictionaries _2fast _996209 |
|
| 655 | 7 |
_aConference papers and proceedings _2fast _96065 |
|
| 655 | 7 |
_aDictionaries. _2lcgft _996209 |
|
| 655 | 7 |
_aConference papers and proceedings. _2lcgft _96065 |
|
| 655 | 7 |
_aDictionnaires. _2rvmgf _9600163 |
|
| 655 | 7 |
_aActes de congrès. _2rvmgf _9609890 |
|
| 700 | 1 |
_aLi, Xuandong, _eeditor. _955801 |
|
| 700 | 1 |
_aLiu, Zhiming, _eeditor. _955802 |
|
| 700 | 1 |
_aYi, Wang, _eeditor. _924689 |
|
| 758 |
_ihas work: _aDependable software engineering (Text) _1https://id.oclc.org/worldcat/entity/E39PCGp4kYW4pPXXHGHWPCgCpK _4https://id.oclc.org/worldcat/ontology/hasWork |
||
| 776 | 0 | 8 |
_iPrinted edition: _z9783319259413 |
| 830 | 0 |
_aLecture notes in computer science ; _v9409. _x0302-9743 |
|
| 830 | 0 |
_aLNCS sublibrary. _nSL 2, _pProgramming and software engineering. _920654 |
|
| 856 | 4 | 0 | _uhttps://link.springer.com/10.1007/978-3-319-25942-0 |
| 938 |
_aAskews and Holts Library Services _bASKH _nAH31776800 |
||
| 938 |
_aYBP Library Services _bYANK _n12737485 |
||
| 936 | _aBATCHLOAD | ||
| 994 |
_a92 _bATIST |
||
| 999 |
_c644400 _d644400 |
||