| 000 | 01207nam a22002417a 4500 | ||
|---|---|---|---|
| 005 | 20220609114332.0 | ||
| 020 | _a9780128151198 | ||
| 040 |
_cHITLIB _erda |
||
| 050 |
_aQA76.9 _bADV |
||
| 245 | 0 | 0 |
_aAdvances in computers / _cEdited by Atif M Memon |
| 264 |
_aAmsterdam : _bAcademic Press, _c2018. |
||
| 300 |
_a1 volume : _billustrations |
||
| 336 |
_2rdacontent _atext _btxt |
||
| 337 |
_2rdamedia _aunmediated _bn |
||
| 338 |
_2rdacarrier _avolume _bnc |
||
| 490 | 1 |
_aAdvances in computers. _vVolume 108 |
|
| 505 | _a1. Model-Based Testing for Internet of Things Systems Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret and Bruno Legeard 2. Advances in Software Model Checking Junaid H. Siddiqui, Affan Rauf and Maryam A. Ghafoor 3. Emerging Software Testing Technologies Francesca Lonetti and Eda Marchetti 4. Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts Amal Khalil and Juergen Dingel 5. A Tutorial on Software Obfuscation Sebastian Banescu and Alexander Pretschner | ||
| 650 | 0 | _aGraphical user interfaces (Computer systems) | |
| 650 | 0 | _aSystem analysis. | |
| 700 | 1 |
_aHurson, Ali R. _eSeries editor |
|
| 700 | 1 |
_aMemon, Atif M. Memon _eSeries editor |
|
| 942 |
_2lcc _cBK |
||
| 999 |
_c2893 _d2893 |
||