Patrick Schultz
(Author)Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (2019)Hardcover - 2019, 11 February 2019
Qty
1
Turbo
Ships in 2 - 3 days
In Stock
Free Delivery
Cash on Delivery
15 Days
Free Returns
Secure Checkout
Part of Series
Progress in Computer Science and Applied Logic
Print Length
235 pages
Language
English
Publisher
Birkhauser
Date Published
11 Feb 2019
ISBN-10
3030007030
ISBN-13
9783030007034
Product Details
Authors:
Book Edition:
2019
Book Format:
Hardcover
Country of Origin:
NL
Date Published:
11 February 2019
Dimensions:
23.39 x
15.6 x
1.42 cm
ISBN-10:
3030007030
ISBN-13:
9783030007034
Language:
English
Location:
Cham
Pages:
235
Publisher:
Weight:
517.09 gm