Alexander, Adrianna (Autor)
Komposition temporallogischer Spezifikationen
Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-7369-1813-9 |
|---|---|
| Seitenzahl | 278 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 1638 Kbytes |