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