The book is currently out of stock
More about the book
The book focuses on formal modeling of mathematical domains, particularly in discrete mathematics, logic, algebra, and computer science, using a first-order logic-based language. It introduces RISCAL, a mathematical model checker that enables automatic validation of formulas and algorithms. Readers can engage with the content through specification files compatible with the freely available RISCAL software, enhancing their understanding of mathematical theorems and algorithmic correctness while providing practical tools for analysis.
Book purchase
Concrete Abstractions, Wolfgang Schreiner
- Language
- Released
- 2024
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.