David I. Spivak Patrick Schultz Temporal Type Theory (Gebundene Ausgabe)
Ø 0.0
0 Bewertungen
82,74 €
Produktart: Gebundene Ausgabe. Autor: David I. Spivak, Patrick Schultz. Ausgabe: 2019 ed. The book begins with a discussion of behavior types, interval domains, and translation invariance, which serves as the groundwork for temporal type theory.
Jetzt bei Ebay:
-
Buchtitel:Temporal Type Theory
-
Subtitle:A Topos-Theoretic Approach to Systems and Behavior
-
ISBN-10:3030007030
-
EAN:9783030007034
-
ISBN:9783030007034
-
Ausgabe:2019 ed.
-
Genre:Technology & Engineering
-
Thematik:Computing & Internet
-
Erscheinungsdatum:11.02.2019
-
Herstellungsland und -region:CH
-
Höhe:235mm
-
Länge:155mm
-
Buchreihe:Progress in Computer Science and Applied Logic
-
Reihe:Progress in Computer Science And Applied Logic
-
Produktart:Lehrbuch
-
Format:Gebundene Ausgabe
-
Erscheinungsjahr:2019
-
Anzahl der Seiten:244 Seiten
-
Autor:David I. Spivak
-
Verlag:Springer International Publishing
-
Publikationsname:Temporal Type Theory
-
Sprache:Englisch
-
Standard Shipping from outside:Standardversand aus dem Ausland kostenlos - Lieferung zwischen 03. June 2025 und 12. June 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Weltweit
-
Versand ausgeschlossen:Russische Föderation , Kanada , USA , Australien , Frankreich , Großbritannien , Irland , Italien , Schweiz , Spanien , ... und weitere
![Produktbild - Election Law and Democratic Theory by Schultz, David [Paperback]](https://i.ebayimg.com/thumbs/images/g/RagAAeSwxrFoMDbL/s-l140.jpg)
