Noch Fragen? 0800 / 33 82 637

Verification, Model Checking, and Abstract Interpretation

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

Produktform: E-Buch Text Elektronisches Buch in proprietärem

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. weiterlesen

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-030-94583-1 / 978-3030945831 / 9783030945831

Verlag: Springer International Publishing

Erscheinungsdatum: 13.01.2022

Seiten: 520

Herausgegeben von Bernd Finkbeiner, Thomas Wies

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück