10% OFF

Concrete Abstractions

Formalizing And Analyzing Discrete Theories And Algorithms With The Riscal Model Checker

by Wolfgang Schreiner
language: english
Publisher: Springer International Publishing AG, April of 2024 ‧
67,58€
60,82€
10% OFF
free shipping
Sell ​​your book
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;

Concrete Abstractions

Formalizing And Analyzing Discrete Theories And Algorithms With The Riscal Model Checker

by Wolfgang Schreiner

Property Description
ISBN: 9783031249365
Publisher: Springer International Publishing AG
Release Date: April of 2024
Language: English
Dimensions: 155 x 235 x 20 mm
Cover: Softcover
Pages: 271
Format: Book
Collection: Texts & Monographs In Symbolic Computation
Categories: Books in English > Science > Mathematics
Books in English > Others
EAN: 9783031249365

BOOKS FROM THE SAME COLLECTION