Noch Fragen? 0800 / 33 82 637

NASA Formal Methods

15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings

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

The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.   weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-031-33170-1 / 978-3031331701 / 9783031331701

Verlag: Springer International Publishing

Erscheinungsdatum: 02.06.2023

Seiten: 490

Herausgegeben von Kristin Yvonne Rozier, Swarat Chaudhuri

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück