Wies / Finkbeiner | Verification, Model Checking, and Abstract Interpretation | Buch | 978-3-030-94582-4 | sack.de

Buch, Englisch, 520 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 797 g

Reihe: Theoretical Computer Science and General Issues

Wies / Finkbeiner

Verification, Model Checking, and Abstract Interpretation

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
1. Auflage 2022
ISBN: 978-3-030-94582-4
Verlag: Springer International Publishing

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings

Buch, Englisch, 520 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 797 g

Reihe: Theoretical Computer Science and General Issues

ISBN: 978-3-030-94582-4
Verlag: Springer International Publishing

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.

The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

Wies / Finkbeiner Verification, Model Checking, and Abstract Interpretation jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Wies, Thomas
Finkbeiner, Bernd

Fachgebiete

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.