Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
About this book series
Mathematics is a key technology in modern society. Symbolic Computation is on its way to become a key technology in mathematics. "Texts and Monographs in Symbolic Computation" provides a platform devoted to reflect this evolution. In addition to reporting on developments in the field, the focus of the series also includes applications of computer algebra and symbolic methods in other subfields of mathematics and computer science, and, in particular, in the natural sciences. To provide a flexible frame, the series is open to texts of various kind, ranging from research compendia to textbooks for courses.
Indexed by zbMATH.
- Electronic ISSN
- 2197-8409
- Print ISSN
- 0943-853X
- Series Editor
-
- Peter Paule
Book titles in this series
-
-
-
-
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
-
Abstracted and indexed in
-
- DBLP
- zbMATH