Synthesis of Embedded Software
Frameworks and Methodologies for Correctness by Construction
Szerző:
Sandeep Kumar Shukla, Jean-Pierre Talpin
Elérhetőség:
Beszállítói készleten
Küldés 8-11 napon belül
45 611
Ft
Embedded software is ubiquitous today and this book presents the state-of-the art-in the design of s...