1,800円以上の注文で送料無料

コンピュータサイエンスにおける様相論理
  • 中古
  • 書籍
  • 書籍

コンピュータサイエンスにおける様相論理

鹿島亮(著者)

追加する に追加する

コンピュータサイエンスにおける様相論理

定価 ¥3,520

2,475 定価より1,045円(29%)おトク

獲得ポイント22P

在庫なし

発送時期 1~5日以内に発送

商品詳細

内容紹介
販売会社/発売会社 森北出版
発売年月日 2022/01/20
JAN 9784627856417

コンピュータサイエンスにおける様相論理

¥2,475

商品レビュー

0

1件のお客様レビュー

レビューを投稿

2022/01/23

[出典] https://twitter.com/rikoushonotana/status/1482570556641669122 --- 書泉グランデMATH【営業時間11時~20時】 @rikoushonotana 1月中旬新刊予定 『コンピュータサイエンスにおける様相論理...

[出典] https://twitter.com/rikoushonotana/status/1482570556641669122 --- 書泉グランデMATH【営業時間11時~20時】 @rikoushonotana 1月中旬新刊予定 『コンピュータサイエンスにおける様相論理』鹿島 亮(森北出版) 第1章 準備:命題論理 第2章 K 第3章 CTL(計算木論理) 第4章 様相ミュー計算 第5章 PDL(命題動的論理) 第6章 ホーア論理

Posted by ブクログ

関連商品

同じジャンルのおすすめ商品

最近チェックした商品