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ț: 701.91 lei 855.99 lei 6-8 săpt. -18%
