This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
Format: Paperback / softback
CONTRIBUTORS: Dirk Beyer
EAN: 9783030393212
COUNTRY: Switzerland
PAGES:
WEIGHT: 741 g
HEIGHT: 235 cm
PUBLISHED BY: Springer Nature Switzerland AG
DATE PUBLISHED: 2020-02-07
CITY:
GENRE: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Data Science / Data Modeling & Design
WIDTH: 155 cm
SPINE:
Book Themes:
Algorithms and data structures, Software Engineering, Computer networking and communications, Computer architecture and logic design, Artificial intelligence
