Bookshelf
study guides books reading lists e-books
home sign in my orders my e-books my trolley my account contact

| browse books |
books
 

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 2 466.95

Price: R 2 219.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 | This title will take longer to obtain, and should be delivered in 6-8 weeks
Publisher | Springer International Publishing AG
Published date | 12 Apr 2023
Language |
Format | Hardback
Pages | 271
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-0312-4933-4
Readership Age |
BISAC | computers / computer science

| other options |



Normally shipped | Available from overseas. Usually dispatched in 14 days
Readership Age |
Normal Price | R 3 268.95
 Price | R 2 941.95 | on special |

| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |

| specials |

Theory & Practice

Michelle de Kretser
Hardback
192 pages
was: R 422.95
now: R 380.95
Available from overseas. Usually dispatched in 14 days

Exiles: Times book of the month 'Stanley Kubrick meets MR James'

Mason Coile
Paperback / softback
224 pages
was: R 520.95
now: R 468.95
Forthcoming
A terrifying locked-room mystery set in a remote outpost on Mars.

Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER

Clare Leslie Hall
Paperback / softback
320 pages


Enquiries only
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?

The Correspondent

Virginia Evans
Hardback
288 pages
was: R 552.95
now: R 497.95
Available from overseas. Usually dispatched in 14 days
Copyright 2026 |  terms and conditions