Order Total (1 Item Items):
Shipping Destination:
Temporal Type Theory by Schultz (17 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (17)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (15)
- As New, Fine or Near Fine (2)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (17)
- Softcover (No further results match this refinement)
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (8)
- Not Print on Demand (12)
Language (1)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50 (No further results match this refinement)
- Over US$ 50
Free Shipping
Seller Location
Seller Rating
-
Condition: As New. Unread book in perfect condition.
-
-
Temporal Type Theory
Language: English
Published by Springer Nature Switzerland AG, CH, 2019
ISBN 10: 3030007030 ISBN 13: 9783030007034
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
US$ 87.30
Free Shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardback. Condition: New. 2019 ed.
-
Temporal Type Theory (Progress in Computer Science and Applied Logic, 29)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 75.38
US$ 16.09 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In English.
-
Temporal Type Theory : A Topos-theoretic Approach to Systems and Behavior
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 75.37
US$ 20.15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Temporal Type Theory : A Topos-theoretic Approach to Systems and Behavior
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 83.51
US$ 20.15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Temporal Type Theory
Language: English
Published by Springer Nature Switzerland AG, CH, 2019
ISBN 10: 3030007030 ISBN 13: 9783030007034
US$ 78.39
US$ 87.31 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardback. Condition: New. 2019 ed.
-
Temporal Type Theory
Language: English
Published by Springer (India) Private Limited, 2019
ISBN 10: 3030007030 ISBN 13: 9783030007034
Condition: New.
-
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior: 29 (Progress in Computer Science and Applied Logic, 29)
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
First Edition
Condition: New. 2019. 1st ed. 2019. hardcover. . . . . .
-
US$ 209.40
US$ 16.79 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 244 pages. 9.25x6.10x0.79 inches. In Stock.
-
Condition: New. 2019. 1st ed. 2019. hardcover. . . . . . Books ship from the US and Ireland.
-
Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior
Language: English
Published by Birkhäuser, Palgrave Macmillan, 2019
ISBN 10: 3030007030 ISBN 13: 9783030007034
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior types based on sheaves. The authors demonstrate how to analyze the behaviors of elements in continuous and discrete dynamical systems so that each can be translated and compared to one another. Their temporal logic is also flexible enough that it can serve as a framework for other logics that work with similar models.The book begins with a discussion of behavior types, interval domains, and translation invariance, which serves as the groundwork for temporal type theory. From there, the authors lay out the logical preliminaries they need for their temporal modalities and explain the soundness of those logical semantics. These results are then applied to hybrid dynamical systems, differential equations, and labeled transition systems. A case study involving aircraft separation within the National Airspace System is provided to illustrate temporal type theory in action.Researchers in computer science, logic, and mathematics interested in topos-theoretic and category-theory-friendly approaches to system behavior will find this monograph to be an important resource. It can also serve as a supplemental text for a specialized graduate topics course.
-
Condition: new. Questo è un articolo print on demand.
-
Temporal Type Theory
Language: English
Published by Springer (India) Private Limited, 2019
ISBN 10: 3030007030 ISBN 13: 9783030007034
US$ 172.53
US$ 8.73 shipping
Ships from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: New. Print on Demand.
-
Temporal Type Theory
Language: English
Published by Springer International Publishing, 2019
ISBN 10: 3030007030 ISBN 13: 9783030007034
US$ 131.42
US$ 56.92 shipping
Ships from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Describes a new approach, developed by the authors, for proving properties about the behaviors of systems using temporal logicReview of the prerequisite material included where needed in order to make a difficult topic more accessible.
-
Temporal Type Theory
Language: English
Published by Springer (India) Private Limited, 2019
ISBN 10: 3030007030 ISBN 13: 9783030007034
Condition: New. PRINT ON DEMAND.
-
Temporal Type Theory
Language: English
Published by Birkhäuser, Palgrave Macmillan Feb 2019, 2019
ISBN 10: 3030007030 ISBN 13: 9783030007034
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior types based on sheaves. The authors demonstrate how to analyze the behaviors of elements in continuous and discrete dynamical systems so that each can be translated and compared to one another. Their temporal logic is also flexible enough that it can serve as a framework for other logics that work with similar models.Springer Nature c/o IBS, Benzstrasse 21, 48619 Heek 244 pp. Englisch.
