Thinking Programs
Autor Wolfgang Schreiner
30 aug 2025
Hardback
Preț: 478.90 lei 591.23 lei
38-44 zile
-19%
Texts & Monographs in Symbolic Computation
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Autor Wolfgang Schreiner
12 apr 2023
Hardback
Preț: 489.35 lei 611.69 lei
6-8 săpt.
-20%