Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
Concrete Abstractions, Wolfgang Schreiner
- Langue
- Année de publication
- 2023
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .
- Sous-titre
- Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
- Langue
- Anglais
- Auteurs
- Wolfgang Schreiner
- Publié
- 2023
- Format
- rigide
- Pages
- 284
- ISBN13
- 9783031249334
- Séries
- Mots clés
- Nonfiction, Science et Mathématiques, Mathématiques
- Description
- 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.