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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Memon, Atif M. (Επιμελητής έκδοσης)
Μορφή: Ηλ. βιβλίο
Γλώσσα: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