000 | 00843nam a2200157 4500 | ||
---|---|---|---|
020 | _a9780128151198 | ||
040 | _cCUS | ||
082 |
_a004 _bMEM/A |
||
245 |
_aAdvances in computers 2018/ _cedited by Atif M. Memon |
||
260 |
_aLondon: _bElsevier, _c2018 |
||
300 | _av.108 (ix, 353p.) | ||
505 | _aModel-Based Testing for Internet of Things Systems Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret and Bruno Legeard A dvances in Software Model Checking Junaid H. Siddiqui, Affan Rauf and Maryam A. Ghafoor Emerging Software Testing Technologies Francesca Lonetti and Eda Marchetti Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts Amal Khalil and Juergen Dingel A Tutorial on Software Obfuscation Sebastian Banescu and Alexander Pretschner | ||
650 | _aComputers | ||
700 | _aMemon, Atif M. (ed) | ||
942 | _cBOOKS | ||
999 |
_c195770 _d195770 |