Advances in computers / (Record no. 2893)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01207nam a22002417a 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220609114332.0 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780128151198 |
| 040 ## - | |
| -- | HITLIB |
| -- | rda |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.9 |
| Item number | ADV |
| 245 00 - TITLE STATEMENT | |
| Title | Advances in computers / |
| Statement of responsibility, etc. | Edited by Atif M Memon |
| 264 ## - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Amsterdam : |
| Name of producer, publisher, distributor, manufacturer | Academic Press, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2018. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 volume : |
| Other physical details | illustrations |
| 336 ## - | |
| -- | rdacontent |
| -- | text |
| -- | txt |
| 337 ## - | |
| -- | rdamedia |
| -- | unmediated |
| -- | n |
| 338 ## - | |
| -- | rdacarrier |
| -- | volume |
| -- | nc |
| 490 1# - SERIES STATEMENT | |
| Series statement | Advances in computers. |
| Volume/sequential designation | Volume 108 |
| 505 ## - | |
| -- | 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 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Graphical user interfaces (Computer systems) |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | System analysis. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Hurson, Ali R. |
| Relator term | Series editor |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Memon, Atif M. Memon |
| Relator term | Series editor |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Koha item type | Books |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Total Checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Library of Congress Classification | Harare Institute of Technology Main Library | Harare Institute of Technology Main Library | General Collection | 09/06/2022 | Donation : Book Aid International | QA76.9 ADV | BK002733 | 22/07/2024 | 1 | 09/06/2022 | Books |