Advances in computers. Volume 107 /
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...
Άλλοι συγγραφείς: | |
---|---|
Μορφή: | Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Waltham, Mass. :
Academic Press,
2017.
|
Έκδοση: | First edition. |
Σειρά: | Advances in computers ;
volume 107. |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Περίληψη: | 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. |
---|---|
Φυσική περιγραφή: | 1 online resource : illustrations (some color). |
Βιβλιογραφία: | Includes bibliographical references and indexes. |
ISBN: | 9780128122297 0128122293 9780128122280 |