![Cover image for Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker Cover image for Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Author:
Schreiner, Wolfgang. author.
ISBN:
9783031249341
Edition:
1st ed. 2023.
Physical Description:
XII, 271 p. 79 illus., 53 illus. in color. online resource.
Series:
Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,
Contents:
1. Theories and Algorithms -- 2. Searching and Sorting -- 3. Sets, Relations, and Graphs -- 4. Propositional Logic -- 5. Big Number and Polynomial Arithmetic -- 6. Puzzles and Games -- 7. Concurrent Systems -- 8. Further Topics -- Appendices -- References -- Index.
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-24934-1Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 520401-1001 | XX(520401.1) | Searching... | Searching... |