NASA Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

139,09 

17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13,2025, Proceedings, Lecture Notes in Computer Science 15682

ISBN: 3031937058
ISBN 13: 9783031937057
Herausgeber: Aaron Dutle/Laura Humphrey/Laura Titolo
Verlag: Springer Verlag GmbH
Umfang: xiii, 442 S., 36 s/w Illustr., 71 farbige Illustr., 442 p. 107 illus., 71 illus. in color.
Erscheinungsdatum: 08.06.2025
Auflage: 1/2025
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 6313043 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …