Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker - Texts & Monographs in Symbolic Computation - Wolfgang Schreiner - Kirjat - Springer International Publishing AG - 9783031249365 - lauantai 13. huhtikuuta 2024
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Wolfgang Schreiner

Hinta
DKK 419,76

Tilattu etävarastosta

Arvioitu toimitus pe - ma 4. - 14. heinä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä lauantai 13. huhtikuuta 2024
ISBN13 9783031249365
Tuottaja Springer International Publishing AG
Sivujen määrä 271
Mitta 435 g
Kieli German  
Näytä kaikki

Lisää tuotteita Wolfgang Schreiner

Katso kaikki joka sisältää Wolfgang Schreiner ( Esim. Paperback Book , Hardcover Book Ja Book )