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 - 9783031249365 - 13 kwietnia 2024
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ł 225,90

Zamówione z odległego magazynu

Przewidywana dostawa 8 - 16 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;

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

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 13 kwietnia 2024
ISBN13 9783031249365
Wydawcy Springer International Publishing AG
Strony 271
Wymiary 150 × 220 × 10 mm   ·   435 g
Język Niemiecki  

Więcej od Wolfgang Schreiner

Pokaż wszystko

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