Noch Fragen? 0800 / 33 82 637

Model Checking Software

27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021. weiterlesen

Sprache(n): Englisch

ISBN: 978-3-030-84628-2 / 978-3030846282 / 9783030846282

Verlag: Springer International Publishing

Erscheinungsdatum: 03.08.2021

Seiten: 195

Auflage: 1

Herausgegeben von Ana Sokolova, Alfons Laarman

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück