Extra Materials Archive

Book cover

Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction

© 2010

Hard cover - Print (ISBN: 978-1-4419-6399-4)

Soft cover - Print (ISBN: 978-1-4899-8737-2)

Electronic (ISBN: 978-1-4419-6400-7)

View this book on SpringerLink