Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Full Title: | Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction |
---|---|
ISBN: | 1441964002 |
ISBN13: | 9781441964007 |
List Price: | USD $179.99 |
Authors: |
Sandeep Kumar Shukla |
Related ISBNs