|
|
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 923.95
Price: R 1 827.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 |
|
|
Katie Daysh
Paperback / softback
384 pages
was: R 295.95
now: R 259.95
|
|
Victor Frankenstein driven by the mad dream of creating his own creature, experiments with alchemy and science to build a monster stitched together from dead remains.
|
This is indeed a story of mercy and the redemption it offers.
|
|
|
|
