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. | 7-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ț: 1470.90 lei 1838.63 lei
3-5 săpt.
-20%
Category Theory Using Haskell: An Introduction with Moggi and Yoneda
Autor Shuichi Yukita
16 oct 2024
Hardback
Preț: 1278.68 lei 1598.35 lei
6-8 săpt.
-20%
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ț: 390.14 lei 487.67 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%
Concise Guide to Fault Tree Analysis
Autor Pavel Krcal
15 feb 2025
Hardback
Preț: 371.30 lei 464.12 lei
Nepublicat încă
-20% Nou