First-Order Schemata and Inductive Proof Analysis
Autor Alexander Leitsch et al.
3 ian 2026
Hardback
Preț: 957.86 lei 1260.35 lei
38-45 zile
-24%
Computer Science Foundations and Applied Logic
Structural Decision Diagrams in Digital Test
Autor Raimund Ubar et al.
30 ian 2024
Hardback
Preț: 1523.12 lei 1903.91 lei
3-5 săpt.
-20%
Category Theory Using Haskell
Autor Shuichi Yukita
7 dec 2024
Hardback
Preț: 1332.79 lei 1665.99 lei
6-8 săpt.
-20%
Guide to Software Verification with Frama-C
Editat de Nikolai Kosmatov et al.
10 iul 2024
Hardback
Preț: 455.17 lei 568.95 lei
Indisponibil temporar
-20%
Multi-valued Logic for Decision-Making Under Uncertainty
Autor Evgeny Kagan et al.
18 feb 2025
Hardback
Preț: 1274.27 lei 1553.99 lei
3-5 săpt. | 7-13 zile
-18%
Petri Net Primer
Autor Eike Best et al.
24 ian 2024
Hardback
Preț: 613.45 lei 766.82 lei
38-45 zile
-20%
Algorithms for Constructing Computably Enumerable Sets
Autor Kenneth J. Supowit
24 mai 2023
Hardback
Preț: 403.95 lei 504.94 lei
6-8 săpt.
-20%
Simple Type Theory
Autor William M. Farmer
24 apr 2025
Hardback
Preț: 555.60 lei 653.65 lei
6-8 săpt.
-15%