| Advances in Computers: Volume 107 Contributor(s): Memon, Atif (Editor) |
|
 |
ISBN: 0128122285 ISBN-13: 9780128122280 Publisher: Academic Press OUR PRICE: $163.80 Product Type: Hardcover - Other Formats Published: August 2017 |
| Additional Information |
| BISAC Categories: - Computers | Programming - General - Computers | Software Development & Engineering - General - Mathematics |
| Dewey: 005.3 |
| LCCN: 2018300515 |
| Series: Advances in Computers |
| Physical Information: 286 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: Advances in Computers, Volume 107, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Advances in Model-based Analysis and Testing, Advances in Software Quality Assurance, Advances in Handling Uncertainty in Testing, Advances in Testing of Communicating Systems, and Advances in Formal Verification and Cyber-physical Systems. This book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. |