Guide to Software Verification with Frama-C: Core Components, Usages, and Applications Computer Science Foundations and Applied Logic 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%
Structural Decision Diagrams in Digital Test: Theory and Applications Computer Science Foundations and Applied Logic 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 Computer Science Foundations and Applied Logic 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 Computer Science Foundations and Applied Logic 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 Computer Science Foundations and Applied Logic Autor Kenneth J. Supowit 24 mai 2023 Hardback Preț: 370.25 lei 462.82 lei 6-8 săpt. -20%