Schmitz, Malte (Autor)
Verteilte Laufzeitverifikation auf eingebetteten Systemen
Logiken und Monitorkonstruktionen für asynchrone Prozesse
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-658-12852-4 |
|---|---|
| Seitenzahl | 163 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 1545 Kbytes |