Category Theory Using Haskell: An Introduction with Moggi and Yoneda
Autor Shuichi Yukita
16 oct 2024
Hardback
Preț: 1228.89 lei 1536.12 lei
6-8 săpt.
-20%
Computer Science Foundations and Applied Logic
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
Editat de Nikolai Kosmatov et al.
10 iul 2024
Hardback
Preț: 398.51 lei 498.15 lei
Indisponibil temporar
-20%
Petri Net Primer
Autor Eike Best et al.
10 feb 2025
Paperback
Preț: 420.40 lei 525.51 lei
38-44 zile
-20%
Algorithms for Constructing Computably Enumerable Sets
Autor Kenneth J. Supowit
11 iun 2024
Paperback
Preț: 379.78 lei 474.72 lei
38-44 zile
-20%
Simple Type Theory
Autor William M. Farmer
24 apr 2025
Hardback
Preț: 489.60 lei 576.00 lei
6-8 săpt.
-15%