【送料無料】[本/雑誌]/コンピュータサイエンスにおける様相論理/鹿島亮/著
3,520
鹿島亮/著/コンピュータサイエンスにおける様相論理、メディア：BOOK、発売日：2022/01、重量：340g、商品コード：NEOBK-2700015、JANコード/ISBNコード：9784627856417
※ご注文前に以下必ずご確認ください※
※書籍商品の購入に関するご注意※
※書籍商品の購入に関するご注意※
| 関連人物・出版社 |
| 発売日 |
| 2022/01 |
| 商品説明 |
| モデル検査、プログラム検証...計算機科学で重要な論理の数学的な基礎を理解する。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明を掲載! |
| 収録内容 |
|