Fortæl dine venner om denne vare:
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction 2010 edition
Sandeep K Shukla
Pris
₩ 214.125
Bestilles fra fjernlager
Forventes klar til forsendelse 4. - 11. sep.
Tilføj til din iMusic ønskeseddel
Eller
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction 2010 edition
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
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 17. september 2010 |
| ISBN13 | 9781441963994 |
| Forlag | Springer-Verlag New York Inc. |
| Antal sider | 266 |
| Mål | 159 × 247 × 22 mm · 576 g |
| Sprog | Engelsk |
| Klipper/redaktør | Shukla, Sandeep Kumar |
| Klipper/redaktør | Talpin, Jean-Pierre |
Vis alle
Mere med Sandeep K Shukla
![Cover for Sandeep K Shukla · Nano, Quantum and Molecular Computing: Implications to High Level Design and Validation (Paperback Bog) [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-paperback-bog&class=scaled&v=1605336180)
Se alt med Sandeep K Shukla ( f.eks. Paperback Bog og Hardcover bog )