|
|
books
| book details |
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
By (author) Wolfgang Schreiner
|
| on special |
normal price: R 1 910.95
Price: R 1 814.95
|
| book description |
This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science; they are modeled in a formal language based on first-order logic which is sufficiently rich to express the core entities in whose correctness we are interested: mathematical theorems and algorithmic specifications. 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 the book are given in the form of specification files by which the reader may interact with the software while studying the corresponding book material.
| product details |
Normally shipped |
Publisher | Springer International Publishing AG
Published date | 13 Apr 2024
Language |
Format | Paperback / softback
Pages | 271
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-0312-4936-5
Readership Age |
BISAC | computers / computer science
| other options |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
This is indeed a story of mercy and the redemption it offers.
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
Emil Coetzee, a civil servant in his fifties, is washing blood off his hands when the ceasefire is announced.
|
|
|
|
