Produse
Produse
    • Total RON Comandă
      x
      Coșul tău este gol.
      Comandă
      Temporal Type Theory

      Temporal Type Theory

      A Topos-Theoretic Approach to Systems and Behavior
      0.0 / 10 ( 0 voturi)
      Data publicarii:
      2019
      Tip coperta:
      Hardcover
      Nr. pagini:
      235
      Editia:
      1st ed. 2019
      ISBN:
      9783030007034
      Dimensiuni: l: 24.1cm | H: 19.5cm | 1.8cm | 530g
      Indisponibil
      Indisponibil
      Preț valabil exclusiv online!
      Împachetare cadou gratuită!
      Transport gratuit peste 150 de lei.
      Retur gratuit în 14 zile.
      Ai întrebări? Contactează-ne!
      Descriere
      This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.
      Recenzii și comentarii

      Nota

      de |

      Nu există recenzii pentru acest produs.
      Adaugă o recenzie
      Trebuie să te autentifici pentru a adăuga comentarii/recenzii.