Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithm
89,63 €
Subtitle Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker. Concrete Abstractions. Short Title Concrete Abstractions. This formal language is the language of RISCAL, a "mathematical model checker" by which the validity of all formulas and the correctness of all algorithms can be automatically decided.
Jetzt bei Ebay:
