NASA Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1,2014.Proceedings, Lecture Notes in Computer Science 8430 – Programming and Software Engineering

ISBN: 3319061992
ISBN 13: 9783319061993
Herausgeber: Julia M Badger/Kristin Yvonne Rozier
Verlag: Springer Verlag GmbH
Umfang: xxvi, 360 S., 114 s/w Illustr., 360 p. 114 illus.
Erscheinungsdatum: 02.04.2014
Auflage: 1/2014
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 6347417 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …