Noch Fragen? 0800 / 33 82 637

NASA Formal Methods

13th NASA International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-030-76383-1 / 978-3030763831 / 9783030763831

Verlag: Springer International Publishing

Erscheinungsdatum: 17.05.2021

Seiten: 402

Auflage: 1

Herausgegeben von Cesar A. Munoz, Aaron Dutle, Mariano M. Moscato, Laura Titolo, Ivan Perez

90,94 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück