| 000 | 02807nam a22005895i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-49052-6 | ||
| 003 | DE-He213 | ||
| 005 | 20200421111703.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 161031s2016 gw | s |||| 0|eng d | ||
| 020 |
_a9783319490526 _9978-3-319-49052-6 |
||
| 024 | 7 |
_a10.1007/978-3-319-49052-6 _2doi |
|
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 245 | 1 | 0 |
_aHardware and Software: Verification and Testing _h[electronic resource] : _b12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / _cedited by Roderick Bloem, Eli Arbel. |
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2016. |
|
| 300 |
_aXVI, 211 p. 60 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v10028 |
|
| 505 | 0 | _aPractice in verification -- Practice in testing -- Future directions of testing and verification for hardware, software, and complex hybrid systems. | |
| 520 | _aThis book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aComputer communication systems. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aProgramming languages (Electronic computers). | |
| 650 | 0 | _aComputer logic. | |
| 650 | 0 | _aMathematical logic. | |
| 650 | 0 | _aArtificial intelligence. | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aSoftware Engineering. |
| 650 | 2 | 4 | _aLogics and Meanings of Programs. |
| 650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
| 650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
| 650 | 2 | 4 | _aArtificial Intelligence (incl. Robotics). |
| 650 | 2 | 4 | _aComputer Communication Networks. |
| 700 | 1 |
_aBloem, Roderick. _eeditor. |
|
| 700 | 1 |
_aArbel, Eli. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319490519 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v10028 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-49052-6 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cEBK | ||
| 999 |
_c55098 _d55098 |
||