Model Checking Software

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

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

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

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-319-94111-0 / 978-3319941110 / 9783319941110

Verlag: Springer International Publishing

Erscheinungsdatum: 15.06.2018

Seiten: 347

Herausgegeben von Pedro Merino, Maria del Mar Gallardo

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück