Skip to main content alibris logo

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

by ,

Write The First Customer Review
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction - Shukla, Sandeep Kumar (Editor), and Talpin, Jean-Pierre (Editor)
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

Embedded software is ubiquitous today and this book presents the state-of-the art-in the design of safety-critical, embedded software in a single reference. It is an invaluable reference for those concerned with improving the product development life-cycle.

loading
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction 2014, Springer, New York, NY

ISBN-13: 9781489987372

2010 edition

Trade paperback

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction 2010, Springer, New York, NY

ISBN-13: 9781441963994

2010 edition

Hardcover