Guide to Software Verification with Frama-C
Editat de Nikolai Kosmatov et al.
10 iul 2024
Hardback
Preț: 432.12 lei 540.15 lei
6-8 săpt.
-20%
Computer Science Foundations and Applied Logic
Algorithms for Constructing Computably Enumerable Sets
Autor Kenneth J. Supowit
24 mai 2023
Hardback
Preț: 377.48 lei 471.85 lei
6-8 săpt.
-20%
Simple Type Theory
Autor William M. Farmer
24 apr 2025
Hardback
Preț: 491.51 lei 578.24 lei
6-8 săpt.
-15%