Bollig, Benedikt (Autor)
Formal Models of Communicating Systems
Languages, Automata, and Monadic Second-Order Logic
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-540-32923-7 |
|---|---|
| Seitenzahl | 181 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 1675 Kbytes |