Proof Assistants and Their Applications in Mathematics and Computer Science
Editat de Assia Mahboubi et al.
12 feb 2026
Hardback
Preț: 465.68 lei 561.06 lei
Nepublicat încă
-17% Precomandă
Computer Science Foundations and Applied Logic
First-Order Schemata and Inductive Proof Analysis
Autor Alexander Leitsch et al.
13 ian 2026
Hardback
Preț: 1006.97 lei 1258.72 lei
Nepublicat încă
-20% Precomandă
Concise Guide to Fault Tree Analysis
Autor Pavel Krcal
15 feb 2025
Hardback
Preț: 401.80 lei 502.24 lei
Nepublicat încă
-20% Precomandă
Petri Net Primer
Autor Eike Best et al.
10 feb 2025
Paperback
Preț: 420.73 lei 525.92 lei
38-44 zile
-20%
Simple Type Theory
Autor William M. Farmer
24 apr 2025
Hardback
Preț: 493.40 lei 616.75 lei
43-57 zile
-20%