Amazon cover image
Image from Amazon.com

Advances in computers / Edited by Atif M Memon

Contributor(s): Material type: TextTextSeries: Amsterdam : Academic Press, 2018Description: 1 volume : illustrationsContent type:
  • text
Media type:
  • unmediated
Carrier type:
  • volume
ISBN:
  • 9780128151198
Subject(s): LOC classification:
  • QA76.9 ADV
Contents:
1. 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
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Shelving location Call number Copy number Status Date due Barcode
Books Books Harare Institute of Technology Main Library Harare Institute of Technology Main Library General Collection QA76.9 ADV (Browse shelf(Opens below)) 1 Available BK002733

1. 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

There are no comments on this title.

to post a comment.