Schultz, Patrick (Autor)
Spivak, David I. (Autor)
Temporal Type Theory
A Topos-Theoretic Approach to Systems and Behavior
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-030-00704-1 |
|---|---|
| Seitenzahl | 235 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 6529 Kbytes |