Vertel uw vrienden over dit artikel:
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction Sandeep Kumar Shukla 2010 edition
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Sandeep Kumar 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.
266 pages, biography
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 20 november 2014 |
| ISBN13 | 9781489987372 |
| Uitgevers | Springer-Verlag New York Inc. |
| Pagina's | 266 |
| Afmetingen | 155 × 235 × 15 mm · 435 g |
| Taal en grammatica | Engels |
| Uitgever | Shukla, Sandeep Kumar |
| Uitgever | Talpin, Jean-Pierre |