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