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. In addition, it provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of significant, lasting value in this rapidly expanding field. Provides in-depth surveys and tutorials on new computer technologyPresents well-known authors and researchers in the field Includes extensive bibliographies with most chapters Volumes are devoted to single themes or subfields of computer science INDICE: 1. Advances in Model-based Analysis and Testing Thomas Bauer 2. Advances in Software Quality Assurance Hironori Washizaki 3. Advances in Handling Uncertainty in Testing Shaukat Ali 4. Advances in Testing of Communicating Systems Rachida Dssouli 5. Advances in Formal Verification and Cyber-physical Systems Holger Schlingloff
- ISBN: 978-0-12-812228-0
- Editorial: Academic Press
- Encuadernacion: Cartoné
- Páginas: 310
- Fecha Publicación: 01/09/2017
- Nº Volúmenes: 1
- Idioma: Inglés