Temporal Type Theory - Schultz - Books - Springer Nature Switzerland AG - 9783030007034 - February 11, 2019
In case cover and title do not match, the title is correct

Temporal Type Theory 1st ed. 2019 edition

Schultz

Price
$ 128.99
excl. VAT

Ordered from remote warehouse

Expected delivery Sep 16 - 26

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Temporal Type Theory 1st ed. 2019 edition

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

Media Books     Book
Released February 11, 2019
ISBN13 9783030007034
Publishers Springer Nature Switzerland AG
Pages 235
Dimensions 241 × 195 × 18 mm   ·   517 g
Language German  
Show all

More by Schultz

See all of Schultz ( e.g. Book , Paperback Book , CD and Sheet music )