Concrete abstractions : formalizing and analyzing discrete theories and algorithms with the RISCAL model checker
著者
書誌事項
Concrete abstractions : formalizing and analyzing discrete theories and algorithms with the RISCAL model checker
（Texts and monographs in symbolic computation）
Springer, [2023] , , c2023
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Content Type: text (ncrcontent), Media Type: unmediated (ncrmedia), Carrier Type: volume (ncrcarrier)
Includes bibliographical references (pages 261-265) and index