Noch Fragen? 0800 / 33 82 637

Software Verification

13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

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

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14 International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-030-95561-8 / 978-3030955618 / 9783030955618

Verlag: Springer International Publishing

Erscheinungsdatum: 21.02.2022

Seiten: 197

Herausgegeben von Roderick Bloem, Natasha Sharygina, Rayna Dimitrova, Chuchu Fan

58,84 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück