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: Buch / Einband - flex.(Paperback)

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

Sprache(n): Englisch

ISBN: 978-3-030-94582-4 / 978-3030945824 / 9783030945824

Verlag: Springer International Publishing

Erscheinungsdatum: 14.01.2022

Seiten: 520

Auflage: 1

Herausgegeben von Bernd Finkbeiner, Thomas Wies

96,29 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück