Synchronous Equivalence

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 

Formal Methods for Embedded Systems

ISBN: 1461356644
ISBN 13: 9781461356646
Autor: Hsieh, Harry/Balarin, Felice/Sangiovanni-Vincentelli, Alberto L
Verlag: Springer Verlag GmbH
Umfang: xi, 136 S.
Erscheinungsdatum: 05.11.2012
Auflage: 1/2012
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 4536163 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …