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 - 9783031249365 - 13 april 2024
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 589

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;

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

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 13 april 2024
ISBN13 9783031249365
Utgivare Springer International Publishing AG
Antal sidor 271
Mått 150 × 220 × 10 mm   ·   435 g
Språk Tyska  

Fler produkter med Wolfgang Schreiner

Visa alla

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