Shukla, Sandeep Kumar (Hrsg.)
Talpin, Jean-Pierre (Hrsg.)
Synthesis of Embedded Software
Frameworks and Methodologies for Correctness by Construction
Beschreibung
Produktdetails
| ISBN/GTIN | 978-1-4419-6400-7 |
|---|---|
| Seitenzahl | 266 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 4229 Kbytes |