Betonabstraktionen: Formalisieren und Analysieren diskreter Theorien und Algor...
92,46 €
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. The RISCAL software is freely available; all formal contents presented in th are given in the form of specification files by which the reader may interact with the software while studying the corresponding book material.
Jetzt bei Ebay:
