NASA Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

139,09 

14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27,2022, Proceedings, Lecture Notes in Computer Science 13260

ISBN: 303106772X
ISBN 13: 9783031067723
Herausgeber: Jyotirmoy V Deshmukh/Klaus Havelund/Ivan Perez
Verlag: Springer Verlag GmbH
Umfang: xxii, 828 S., 51 s/w Illustr., 168 farbige Illustr., 828 p. 219 illus., 168 illus. in color.
Erscheinungsdatum: 20.05.2022
Auflage: 1/2022
Produktform: Kartoniert
Einband: KT
Artikelnummer: 5532586 Kategorie:

Das könnte Ihnen auch gefallen …