Programs as Diagrams: From Categorical Computability to Computable Categories
Autor Dusko Pavlovic
20 sep 2023
Hardback
Preț: 570.76 lei 713.45 lei
6-8 săpt.
-20%
Cărți de Dusko Pavlovic
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows
Editat de Joshua D. Guttman et al.
28 apr 2019
Paperback
Preț: 317.68 lei 397.10 lei
6-8 săpt.
-20%