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 - 9783031249365 - 13. april 2024
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
Íkr 7.499

Bestillingsvarer

Forventes levert 24. nov - 2. des
Julegaver kan byttes frem til 31. januar

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;

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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 13. april 2024
ISBN13 9783031249365
Utgivere Springer International Publishing AG
Antall sider 271
Mål 150 × 220 × 10 mm   ·   435 g
Språk Tysk  
Vis alle

Mer med Wolfgang Schreiner

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