Traub, Johannes Frederik Jesper (Autor)
Formal Verification of Concurrent Embedded Software
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-7412-2116-3 |
|---|---|
| Seitenzahl | 156 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 7369 Kbytes |