Spar
Synthesis of Embedded Software
innbundet, 2010
Engelsk
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.
- Undertittel
- Frameworks and Methodologies for Correctness by Construction
- Redaktør
- Sandeep Kumar Shukla, Jean-Pierre Talpin
- Opplag
- 2010 ed.
- ISBN
- 9781441963994
- Språk
- Engelsk
- Vekt
- 446 gram
- Utgivelsesdato
- 17.9.2010
- Antall sider
- 266
