Kniha momentálne nie je na sklade
Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Autori
Viac o knihe
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.
Nákup knihy
Concrete Abstractions, Wolfgang Schreiner
- Jazyk
- Rok vydania
- 2023
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Concrete Abstractions
- Podtitul
- Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
- Jazyk
- anglicky
- Autori
- Wolfgang Schreiner
- Vydavateľ
- Springer International Publishing
- Vydavateľ
- 2023
- Väzba
- pevná
- Počet strán
- 284
- ISBN13
- 9783031249334
- Kategórie
- Matematika
- Anotácia
- 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.