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
Hagenberg Research
Editat de Bruno Buchberger et al.
19 oct 2010
Paperback
Preț: 958.14 lei 1197.68 lei
6-8 săpt.
-20%
Thinking Programs
Autor Wolfgang Schreiner
30 aug 2025
Hardback
Preț: 476.56 lei 560.65 lei
6-8 săpt.
-15%