Products
Products
      • Total RON Comandă
      x
      Your cart is empty.
      Comandă
      Temporal Type Theory

      Temporal Type Theory

      A Topos-Theoretic Approach to Systems and Behavior
      Patrick Schultz, David I. Spivak
      0.0 / 10 ( 0 votes)
      Categories:
      Books in Foreign Languages, General History
      Publishing Date:
      2019
      Publisher:
      Cover Type:
      Hardcover
      Page Count:
      235
      Collection:
      Edition:
      1st ed. 2019
      ISBN:
      9783030007034
      Dimensions: l: 24.1cm | H: 19.5cm | 1.8cm | 530g
      Unavailable
      Add to wishlist
      Unavailable
      Price applicable only to online purchases!
      Free Gift Wrapping!
      Free shipping over 150 RON
      You can return it in 14 days
      You got questions? Contact Us!
      Publisher's Synopsis
      This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.
      Reviews and comments

      Nota

      de |

      There are no reviews yet for this product.
      Add a review
      You need to authenticate in order to add a review.