Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Autoren
  3. David I. Spivak

Bücher von David I. Spivak

Filter
Filter
✕
Ordnen nachSortieren Beliebt
  • Temporal Type Theory af David I. Spivak
    Temporal Type Theory
    - A Topos-Theoretic Approach to Systems and Behavior
    von David I. Spivak & Patrick Schultz
    113,00 €

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

    Mehr erfahren

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.