Gabbay, Dov M. (Autor)
Reactive Kripke Semantics
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-642-41389-6 |
|---|---|
| Seitenzahl | 442 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 4481 Kbytes |