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 2023 ‧
87,86€
10% OFF CARD
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: 9783031249334
Publisher: Springer International Publishing AG
Release Date: April of 2023
Language: English
Dimensions: 155 x 235 x 20 mm
Cover: Hardcover
Pages: 271
Format: Book
Collection: Texts & Monographs In Symbolic Computation
Categories: Books in English > Science > Mathematics
Books in English > Others
EAN: 9783031249334

BOOKS FROM THE SAME COLLECTION