共有 2 項 |
eBook: Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (DRM PDF)
Wolfgang Schreiner, Springer International Publishing, 出版日期: 2023/04/11, 系列: Texts & Monographs in Symbolic Computation
|
|||
eBook: Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (DRM EPUB)
Wolfgang Schreiner, Springer International Publishing, 出版日期: 2023/04/11, 系列: Texts & Monographs in Symbolic Computation
|
|||