Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker - Texts & Monographs in Symbolic Computation - Wolfgang Schreiner - Bøker - Springer International Publishing AG - 9783031249334 - 12. april 2023
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Wolfgang Schreiner

Pris
NOK 779

Bestillingsvarer

Forventes levert 2. - 10. jul

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
Eller

Finnes også som:

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

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øker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 12. april 2023
ISBN13 9783031249334
Utgivere Springer International Publishing AG
Antall sider 271
Mål 594 g
Språk Engelsk  
Vis alle

Mer med Wolfgang Schreiner

Se alt med Wolfgang Schreiner ( f.eks. Pocketbok , Innbunden bok og Bok )