Synthesis of Embedded Software
Frameworks and Methodologies for Correctness by Construction
Edición de la obra Synthesis of embedded software
| Autor | Sandeep Kumar Shukla, Jean-Pierre Talpin |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2010 |
| Idioma | inglés |
| ISBN-13 | 9781441964007 |
| Número de Cutter | S562s |