The book is currently out of stock
More about the book
Focusing on the intersection of discrete mathematics, logic, algebra, and computer science, this book introduces a formal modeling approach using first-order logic to facilitate automatic analysis via the RISCAL model checker. It emphasizes the modeling of mathematical theorems and algorithmic specifications, ensuring their correctness. Readers can engage with the freely available RISCAL software through specification files provided in the book, allowing for practical interaction with the theoretical concepts discussed.
Book purchase
Concrete Abstractions, Wolfgang Schreiner
- Language
- Released
- 2023
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.