NASA Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29,2015, Proceedings, Lecture Notes in Computer Science 9058 – Programming and Software Engineering

ISBN: 3319175238
ISBN 13: 9783319175232
Herausgeber: Klaus Havelund/Gerard Holzmann/Rajeev Joshi
Verlag: Springer Verlag GmbH
Umfang: xiii, 458 S., 115 s/w Illustr., 458 p. 115 illus.
Erscheinungsdatum: 09.04.2015
Auflage: 1/2015
Produktform: Kartoniert
Einband: KT
Artikelnummer: 7917714 Kategorie:

Das könnte Ihnen auch gefallen …