Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker - Texts & Monographs in Symbolic Computation - Wolfgang Schreiner - Böcker - Springer International Publishing AG - 9783031249334 - 12 april 2023
Om omslag och titel inte matchar är det titeln som gäller

Wolfgang Schreiner
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker - Texts & Monographs in Symbolic Computation 2023 edition

Pris
SEK 789

Beställningsvara

Förväntad leverans 6 - 14 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Finns även som:

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;

270 pages, 53 Illustrations, color; 26 Illustrations, black and white; XII, 270 p. 79 illus., 53 ill

Media Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 12 april 2023
ISBN13 9783031249334
Utgivare Springer International Publishing AG
Antal sidor 271
Mått 165 × 241 × 22 mm   ·   580 g
Språk Engelska  

Fler produkter med Wolfgang Schreiner

Visa alla

Se alt med Wolfgang Schreiner ( t.ex. Pocketbok , Inbunden Bok och Bok )