Verification, Model Checking, and Abstract Interpretation: 20th International Conference | Kaicus España

Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings: 11388

Reúne los ensayos más recientes sobre verificación formal, chequeo de modelos e interpretación abstracta presentados en la VMCAI 2019, ofreciendo perspectivas teóricas y aplicaciones prácticas que impulsan el desarrollo de sistemas críticos.

Marca: Springer
ISBN: 3030112446
MPN: 35014535
Patrocinado  Este sitio contiene enlaces de afiliados por los cuales podríamos recibir una compensación. Más información
Colección THEORETICAL COMPUTER SCIENCE AND GENERAL ISSUES
Edición Enero de 2019
Editorial SPRINGER NATURE
Idiomas Inglés
ISBN 9783030112448