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

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. Read More

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. Read Less

• All from $41.70
• New Books from $103.32
• eBook from $41.70

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $41.70 (Expires May 30, 2025) 60 Day Rental: $55.60 (Expires Jun 29, 2025) 90 Day Rental: $69.50 (Expires Jul 29, 2025) 120 Day Rental: $83.40 (Expires Aug 28, 2025) 180 Day Rental: $90.35 (Expires Oct 27, 2025) Title: Synthesis of Embedded Software by Sandeep Kumar Shukla Publisher: Springer Nature Print ISBN: 9781441963994, 1441963995 eText ISBN: 9781441964007 Edition: 2010 2010 edition Format: PDF eBook	$41.70 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ