NASA Formal Methods

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

Produktform: Buch / Einband - flex.(Paperback)

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

Sprache(n): Englisch

ISBN: 978-3-030-55753-9 / 978-3030557539 / 9783030557539

Verlag: Springer International Publishing

Erscheinungsdatum: 09.08.2020

Seiten: 442

Auflage: 1

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

79,17 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück