Results

Book cover

Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction

© 2010

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

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

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

View this book on SpringerLink

No materials found in the archive for this book. This title may not have supplementary files, or they may be published as part of the ebook on SpringerLink