Noch Fragen? 0800 / 33 82 637

NASA Formal Methods

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

Produktform: Buch / Einband - flex.(Paperback)

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

Sprache(n): Englisch

ISBN: 978-3-031-33169-5 / 978-3031331695 / 9783031331695

Verlag: Springer International Publishing

Erscheinungsdatum: 03.06.2023

Seiten: 490

Auflage: 1

Herausgegeben von Kristin Yvonne Rozier, Swarat Chaudhuri

96,29 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück