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