Spar
Synthesis of Embedded Software
heftet, 2014
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
- 9781489987372
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 20.11.2014
- Antall sider
- 266
