Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction - Sandeep K Shukla - Bücher - Springer-Verlag New York Inc. - 9781441963994 - 17. September 2010
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Sandeep K Shukla
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction 2010 edition

Preis
SFr. 97,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 15. - 26. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

It introduced readers to three major approaches to specification driven, embedded software synthesis/construction: synchronous programming based approaches, models of computation based approaches, and an approach based on concurrent programming with a co-design focused language.

315 pages, 100 black & white illustrations, biography

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 17. September 2010
ISBN13 9781441963994
Verlag Springer-Verlag New York Inc.
Seitenanzahl 266
Maße 159 × 247 × 22 mm   ·   576 g
Sprache Englisch  
Redakteur Shukla, Sandeep Kumar
Redakteur Talpin, Jean-Pierre

Weitere Titel von Sandeep K Shukla

Alle anzeigen

Alle Titel von Sandeep K Shukla ansehen ( u. a. Taschenbuch und Gebundenes Buch )