Verification, Model Checking, and Abstract Interpretation 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
89,99 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
14.01.2022
Abbildungen
X, 520 p. 154 illus., 80 illus. in color.
Herausgeber
Bernd Finkbeiner + weitereVerlag
SpringerSeitenzahl
520
Maße (L/B/H)
23,5/15,5/2,9 cm
Gewicht
797 g
Auflage
1st ed. 2022
Sprache
Englisch
ISBN
978-3-030-94582-4
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice