Udvidet returret til d. 31. januar 2025

Bøger af David I. Spivak

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

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

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.