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.
17 iun 2009
Hardback
Preț: 961.33 lei 1201.65 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%
Zungendiagnose in der chinesischen Medizin
Autor Giovanni Maciocia et al.
31 dec 1995
Hardback
Preț: 260.12 lei 273.80 lei
Indisponibil temporar
-5%
Akupunktur, Triggerpunkte und muskoskelettale Schmerzen
Autor Peter E. Baldry et al.
1996
Hardback
Preț: 369.44 lei 388.89 lei
Indisponibil temporar
-5%
Göttliches Spiel
Autor Wolfgang Schreiner
12 oct 2013
Paperback
Preț: 229.90 lei
Indisponibil temporar