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 - 9783031249334 - keskiviikko 12. huhtikuuta 2023
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
Kč 1.870

Tilattu etävarastosta

Arvioitu toimitus to - pe 3. - 11. 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;

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

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä keskiviikko 12. huhtikuuta 2023
ISBN13 9783031249334
Tuottaja Springer International Publishing AG
Sivujen määrä 271
Mitta 594 g
Kieli English  
Näytä kaikki

Lisää tuotteita Wolfgang Schreiner

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