David I. Spivak Patrick Schultz Temporal Type Theory (Hardback) (UK IMPORT)
USD 97.24 USD
Author: David I. Spivak, Patrick Schultz. Title: Temporal Type Theory. Format: Hardback. Genre: Technology & Engineering. Topic: Science Nature & Math, Computing & Internet, Language & Reference. Publisher: Springer Nature Switzerland AG.
Specifications
| Book Title | Temporal Type Theory |
| EAN | 9783030007034 |
| Edition | 2019 ed. |
| ISBN-10 | 3030007030 |
| ISBN | 9783030007034 |
| Item Height | 235mm |
| Release Date | 02/11/2019 |
| Release Year | 2019 |
| Subject Area | Mathematics, Science |
| Item Length | 9.2 in |
| Publication Year | 2019 |
| Type | Textbook |
| Format | Hardcover |
| Language | English |
| Item Weight | 18.9 Oz |
| Item Width | 6.1 in |
| Number Of Pages | 235 Pages |
You will find that this textbook has a clean layout that is easy on the eyes.
