
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)
+ €4.99 Shipping

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)
- Brand: Unbranded
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)
- Brand: Unbranded
Price: |
Only 5 left in stock
We accept the following payment methods
Description
- Brand: Unbranded
- Category: Education
-
Format: Hardback
-
Language: English
-
Publication Date: 11/02/2019
-
Length: Pages: 235
-
Size: 23.5 x 15.5 centimetres (0.53 kg
-
Publisher / Label: Springer Nature Switzerland AG
-
Author: Schultz, Patrick
- Fruugo ID: 337200946-740815758
- ISBN: 9783030007034
Delivery & Returns
Dispatched within 4 days
-
STANDARD: €4.99 - Delivery between Thu 16 October 2025–Mon 27 October 2025
Shipping from United Kingdom.
We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items. View full return policy