NASA Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

139,09 

16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6,2024, Proceedings, Lecture Notes in Computer Science 14627

ISBN: 3031606973
ISBN 13: 9783031606977
Herausgeber: Nathaniel Benz/Divya Gopinath/Nija Shi
Verlag: Springer Verlag GmbH
Umfang: xxiii, 438 S., 28 s/w Illustr., 61 farbige Illustr., 438 p. 89 illus., 61 illus. in color.
Erscheinungsdatum: 28.05.2024
Auflage: 1/2024
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 3407700 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …