Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by
118,09 €
This necessitates that a proper design science, based on "constructive correctness" be developed. It introduces readers to a number of major approaches to specification driven embedded software synthesis/construction.
Jetzt bei Ebay:
