Artikel empfehlen

Model Checking Software

28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

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

This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Lecture Notes in Computer Science

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-031-15077-7 / 978-3031150777 / 9783031150777

Verlag: Springer International Publishing

Erscheinungsdatum: 22.08.2022

Seiten: 153

Herausgegeben von Grigore Rosu, Owolabi Legunsen

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

lieferbar - Lieferzeit 10-15 Werktage

zurück