Tipsa dina vänner om produkten:
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction Sandeep K Shukla 2010 edition
Pris
SEK 1.209
Beställningsvara
Förväntad leverans 13 - 22 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Sandeep K Shukla
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
| Media | Böcker Inbunden Bok (Inbunden bok med hårda pärmar och skyddsomslag) |
| Releasedatum | 17 september 2010 |
| ISBN13 | 9781441963994 |
| Utgivare | Springer-Verlag New York Inc. |
| Antal sidor | 266 |
| Mått | 159 × 247 × 22 mm · 576 g |
| Språk | Engelska |
| Redaktör | Shukla, Sandeep Kumar |
| Redaktör | Talpin, Jean-Pierre |
Fler produkter med Sandeep K Shukla
Visa alla![Cover for Sandeep K Shukla · Nano, Quantum and Molecular Computing: Implications to High Level Design and Validation (Pocketbok) [Softcover reprint of the original 1st ed. 2004 edition] (2010)](https://imusic.b-cdn.net/images/item/original/664/9781441954664.jpg?sandeep-k-shukla-2010-nano-quantum-and-molecular-computing-implications-to-high-level-design-and-validation-pocketbok&class=scaled&v=1605336180)
Se alt med Sandeep K Shukla ( t.ex. Pocketbok och Inbunden Bok )