Povej prijatelju o tem izdelku:
Temporal Type Theory Schultz 1st ed. 2019 edition
Cena
€ 115,49
Naročeno iz oddaljenega skladišča
Predvidena dobava 17. - 27. apr
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
Temporal Type Theory
Schultz
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.
235 pages, 7 Illustrations, color; 60 Illustrations, black and white; VIII, 235 p. 67 illus., 7 illu
| Medij | Knjige Book |
| Izdano | 11. februarja 2019 |
| ISBN13 | 9783030007034 |
| Založniki | Springer Nature Switzerland AG |
| Strani | 235 |
| Dimenzije | 241 × 195 × 18 mm · 535 g |
| Jezik | Nemščina |
Več od Schultz
Prikaži vse
Ogled vseh Schultz ( Na primer Book , Paperback Book , CD , Sheet music in Hardcover Book )