Liebe Besucherinnen und Besucher,

aufgrund unseres Sommerfestes sind wir am 03. September 2026 bis 14 Uhr erreichbar. Am 04. September 2026 sind wir wieder wie gewohnt für Sie da. Vielen Dank für Ihr Verständnis.

Ihr Team von Sack Fachmedien

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

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

Reihe: Lecture Notes in Computer Science

Finkbeiner / Wies

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

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

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

Reihe: Lecture Notes in Computer Science

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

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.

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

Zielgruppe

Research

Autoren/Hrsg.

Finkbeiner, Bernd
Wies, Thomas

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.