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 | Nov 20, 2014 |
| Páginas | 281 |
| Formato | paperback |
| ISBN-13 | 9781489987372 |
| ISBN-10 | 1489987371 |
| Número de Cutter | S562s |