De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Forfattere
  3. Patrick Schultz

Bøger af Patrick Schultz

Filter
Filter
✕
Sorter efterSorter Populære
  • Temporal Type Theory af David I. Spivak
    Temporal Type Theory
    - A Topos-Theoretic Approach to Systems and Behavior
    af David I. Spivak & Patrick Schultz
    1.266,95 kr.

    This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.

    Se mere