Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker - Texts & Monographs in Symbolic Computation - Wolfgang Schreiner - Książki - Springer International Publishing AG - 9783031249334 - 12 kwietnia 2023
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 302,90

Zamówione z odległego magazynu

Przewidywana dostawa 7 - 15 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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 Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 12 kwietnia 2023
ISBN13 9783031249334
Wydawcy Springer International Publishing AG
Strony 271
Wymiary 165 × 241 × 22 mm   ·   580 g
Język Angielski  

Więcej od Wolfgang Schreiner

Pokaż wszystko

Zobacz wszystko od Wolfgang Schreiner ( np. Paperback Book , Hardcover Book i Book )