Bookbot

Concrete Abstractions

Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Paramètres

Pages
284pages
Temps de lecture
10heures

En savoir plus sur le livre

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.

Édition

Achat du livre

Concrete Abstractions, Wolfgang Schreiner

Langue
Année de publication
2024
product-detail.submit-box.info.binding
(souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer