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

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

Hinta
NOK 879

Tilattu etävarastosta

Arvioitu toimitus ke - to 3. - 11. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

Löytyy myös muodossa:

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 165 × 241 × 22 mm   ·   580 g
Kieli Englanti  
Näytä kaikki

Lisää tuotteita Wolfgang Schreiner

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