NASA Formal Methods

12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

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

This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.* weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Programming and Software Engineering
Lecture Notes in Computer Science

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-030-55754-6 / 978-3030557546 / 9783030557546

Verlag: Springer International Publishing

Erscheinungsdatum: 10.08.2020

Seiten: 442

Herausgegeben von Dimitra Giannakopoulou, Anastasia Mavridou, Ritchie Lee, Susmit Jha

78,10 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück