Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
Editat de Nikolai Kosmatov et al.
10 iul 2024
Hardback
Preț: 378.61 lei 473.26 lei
3-5 săpt. | 4-10 zile
-20%
Computer Science Foundations and Applied Logic
Structural Decision Diagrams in Digital Test: Theory and Applications
Autor Raimund Ubar et al.
30 ian 2024
Hardback
Preț: 1392.99 lei 1741.25 lei
3-5 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ț: 369.62 lei 462.03 lei
6-8 săpt.
-20%
Petri Net Primer: A Compendium on the Core Model, Analysis, and Synthesis
Autor Eike Best et al.
24 ian 2024
Hardback
Preț: 516.59 lei 645.74 lei
38-44 zile
-20%
Algorithms for Constructing Computably Enumerable Sets
Autor Kenneth J. Supowit
24 mai 2023
Hardback
Preț: 370.25 lei 462.82 lei
6-8 săpt.
-20%