Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithm
91,71 €
Subtitle Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker. Concrete Abstractions. Short Title Concrete Abstractions. Wolfgang Schreiner is an associate professor at the Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz, Austria.
Jetzt bei Ebay:
