Skip to:Content
|
Bottom
Cover image for Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
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:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 520401-1001 XX(520401.1)
Searching...

On Order

Go to:Top of Page