Wolfgang Schreiner: Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (c) 2023 Springer Texts & Monographs in Symbolic Computation =================================================================================== ERRATA: * (This only applies to copies of the book printed before May 25, 2023). Due to a publication error, the "Backmatter" (pages 209-270, Appendix A, Appendix B, References) contains at the end of every page a typesetting information line starting with "530091_1_En_BOOKBACKMATTER", please ignore.