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

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Schultz releases

Our customers say:

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

Not rated yet

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

More from the same publisher

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