KI-Beratung Beta

  • Produktbild: Synthesis of Embedded Software
  • Produktbild: Synthesis of Embedded Software
- 13%

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction

13% sparen

92,99 € UVP 106,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

17.09.2010

Abbildungen

XV, 266 p.

Herausgeber

Sandeep Kumar Shukla + weitere

Verlag

Springer Us

Seitenzahl

266

Maße (L/B/H)

24,1/16,5/2,8 cm

Gewicht

573 g

Auflage

2010 edition

Sprache

Englisch

ISBN

978-1-4419-6399-4

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

17.09.2010

Abbildungen

XV, 266 p.

Herausgeber

Verlag

Springer Us

Seitenzahl

266

Maße (L/B/H)

24,1/16,5/2,8 cm

Gewicht

573 g

Auflage

2010 edition

Sprache

Englisch

ISBN

978-1-4419-6399-4

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Synthesis of Embedded Software
  • Produktbild: Synthesis of Embedded Software
  • Compilation of Polychronous Data Flow Equations.- Formal Modeling of Embedded Systems with Explicit Schedules and Routes.- Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software.- Compiling SHIM.- A Module Language for Typing SIGNAL Programs by Contracts.- MRICDF: A Polychronous Model for Embedded Software Synthesis.- The Time Model of Logical Clocks Available in the OMG MARTE Profile.- From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations.