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

by SandeepKumarShukla (Editor), Jean-PierreTalpin (Editor)

New
Hardcover
2010
$173.06

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.

Synopsis

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.

$173.06

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 315
Edition: 1st Edition.
Publisher: Springer
Published: 17 Sep 2010
ISBN 10: 1441963995
ISBN 13: 9781441963994

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

New

$173.06

Synopsis

$173.06

More Information