Noch Fragen? 0800 / 33 82 637

Verified Software. Theories, Tools and Experiments.

14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17–18, 2022. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-031-25802-2 / 978-3031258022 / 9783031258022

Verlag: Springer International Publishing

Erscheinungsdatum: 02.02.2023

Seiten: 167

Auflage: 1

Herausgegeben von Akash Lal, Stefano Tonetta

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück