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... |