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%
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
6-8 săpt.
-20%
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Autor William M. Farmer
3 ian 2024
Paperback
Preț: 429.90 lei 537.38 lei
6-8 săpt.
-20%