NASA Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

69,54 

8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9,2016, Proceedings, Lecture Notes in Computer Science 9690 – Programming and Software Engineering

ISBN: 3319406477
ISBN 13: 9783319406473
Herausgeber: Sanjai Rayadurgam/Oksana Tkachuk
Verlag: Springer Verlag GmbH
Umfang: xix, 396 S., 129 s/w Illustr., 396 p. 129 illus.
Erscheinungsdatum: 04.06.2016
Auflage: 1/2016
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 9409642 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …