Produktbild
Rajesh (Hrsg.) Gupta

Formal Methods and Models for System Design

A System Level Perspective

Ebook (PDF Format)

Perhaps nothing characterizes the inherent heterogeneity in embedded sys­ tems than the ability to choose between hardware and software implementations of a given system function. Indeed, most embedded systems at their core repre­ sent a careful division and design of hardware and software parts of the system To do this task effectively, models and methods are necessary functionality. to capture application behavior, needs and system implementation constraints. Formal modeling can be valuable in addressing these tasks. As with most engineering domains, co-design practice defines the state of the it seeks to add new capabilities in system conc… Mehr

CHF 265.50

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Le Guernic, Paul (Hrsg.) / Shukla, Sandeep Kumar (Hrsg.) / Talpin, Jean-Pierre (Hrsg.)
  • ISBN: 978-1-4020-8052-4
  • EAN: 9781402080524
  • Produktnummer: 38251653
  • Verlag: Springer US
  • Sprache: Englisch
  • Erscheinungsjahr: 2004
  • Seitenangabe: 372 S.
  • Plattform: PDF
  • Auflage: 2004

2 weitere Werke von Rajesh (Hrsg.) Gupta:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.