Synthesis of Embedded Software [E-Book] : Frameworks and Methodologies for Correctness by Construction / edited by Sandeep K. Shukla, Jean-Pierre Talpin.
Saved in:
Full text |
|
Personal Name(s): | Shukla, Sandeep K. |
Talpin, Jean-Pierre. | |
Imprint: |
Boston, MA :
Springer Science+Business Media, LLC,
2010.
|
Physical Description: |
online resource |
ISBN: |
9781441964007 |
Subject (LOC): |
Description not available. |