Simple Type Theory
Autor William M. Farmer
24 apr 2025
Hardback
Preț: 492.54 lei 615.67 lei
43-57 zile
-20%
Computer Science Foundations and Applied Logic
Algorithms for Constructing Computably Enumerable Sets
Autor Kenneth J. Supowit
24 mai 2023
Hardback
Preț: 375.86 lei 469.82 lei
43-57 zile
-20%
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
Editat de Nikolai Kosmatov et al.
10 iul 2024
Hardback
Preț: 428.40 lei 535.51 lei
43-57 zile
-20%