Artikel empfehlen

Model Checking Software

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

Produktform: Buch / Einband - flex.(Paperback)

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

Sprache(n): Englisch

ISBN: 978-3-031-15076-0 / 978-3031150760 / 9783031150760

Verlag: Springer International Publishing

Erscheinungsdatum: 23.08.2022

Seiten: 153

Auflage: 1

Herausgegeben von Grigore Rosu, Owolabi Legunsen

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück