NASA Formal Methods
17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings
Springer
ISBN 978-3-031-93705-7
Standardpreis
Bibliografische Daten
Fachbuch
Buch. Softcover
2025
Umfang: xiii, 442 S.
Format (B x L): 15,5 x 23,5 cm
Verlag: Springer
ISBN: 978-3-031-93705-7
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Lecture Notes in Computer Science
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com