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

Schultz
Temporal Type Theory 1st ed. 2019 edition

Price
Íkr 15,759
excl. VAT

Ordered from remote warehouse

Expected delivery Apr 8 - 15

Our customers say:

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

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   ·   535 g
Language German  

More by Schultz

Show all

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