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
22-36 zile | 5-11 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ț: 1446.04 lei 1807.55 lei
22-36 zile
-20%
Category Theory Using Haskell: An Introduction with Moggi and Yoneda
Autor Shuichi Yukita
16 oct 2024
Hardback
Preț: 1202.90 lei 1466.96 lei
43-57 zile
-18%
Algorithms for Constructing Computably Enumerable Sets
Autor Kenneth J. Supowit
11 iun 2024
Paperback
Preț: 351.26 lei 439.07 lei
38-44 zile
-20%
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Autor William M. Farmer
3 ian 2024
Paperback
Preț: 383.59 lei 479.48 lei
43-57 zile
-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%