Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior Progress in Computer Science and Applied Logic, nr. 29 Autor Patrick Schultz et al. 11 feb 2019 Hardback Preț: 730.79 lei 891.21 lei 6-8 săpt. -18%
