Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Theoretical Computer Science and General Issues
Lecture Notes in Computer Science

Sprache(n): Englisch

ISBN: 978-3-319-94110-3 / 978-3319941103 / 9783319941103

Verlag: Springer International Publishing

Erscheinungsdatum: 17.06.2018

Seiten: 347

Auflage: 1

Herausgegeben von Pedro Merino, Maria del Mar Gallardo

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück