NASA Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5,2012, Proceedings, Lecture Notes in Computer Science 7226 – Programming and Software Engineering

ISBN: 3642288901
ISBN 13: 9783642288906
Herausgeber: Alwyn Goodloe/Suzette Person
Verlag: Springer Verlag GmbH
Umfang: xii, 466 S., 79 s/w Illustr., 466 p. 79 illus.
Erscheinungsdatum: 27.03.2012
Auflage: 1/2012
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 3204462 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …