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%
Cărți de Wolfgang Schreiner
Thinking Programs
Autor Wolfgang Schreiner
30 aug 2025
Hardback
Preț: 478.90 lei 591.23 lei
39-44 zile
-19%
Hagenberg Research
Editat de Bruno Buchberger et al.
17 iun 2009
Hardback
Preț: 961.33 lei 1201.65 lei
6-8 săpt.
-20%
Göttliches Spiel
Autor Wolfgang Schreiner
12 oct 2013
Paperback
Preț: 230.07 lei
Indisponibil temporar