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
€ 115.49

Ordered from remote warehouse

Expected delivery Jan 29 - Feb 6

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 and Sheet music )