Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the Riscal Model Checker 2023 Edition Contributor(s): Schreiner, Wolfgang (Author) |
|
ISBN: 3031249364 ISBN-13: 9783031249365 Publisher: Springer OUR PRICE: $56.99 Product Type: Paperback Published: April 2024 |
Additional Information |
BISAC Categories: - Computers | Computer Science - Mathematics | Applied - Mathematics | Numerical Analysis |
Physical Information: 271 pages |