Synthesis of Embedded Software

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 

Frameworks and Methodologies for Correctness by Construction

ISBN: 1441963995
ISBN 13: 9781441963994
Herausgeber: Sandeep Kumar Shukla/Jean-Pierre Talpin
Verlag: Springer Verlag GmbH
Umfang: xv, 266 S.
Erscheinungsdatum: 17.09.2010
Auflage: 1/2010
Produktform: Gebunden/Hardback
Einband: Gebunden
Artikelnummer: 1775359 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …