商品詳細
| 内容紹介 | |
|---|---|
| 販売会社／発売会社 | 森北出版 |
| 発売年月日 | 2022/01/20 |
| JAN | 9784627856417 |
- 書籍
- 書籍
コンピュータサイエンスにおける様相論理
商品が入荷した店舗：店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
オンラインストア上の価格と店頭価格は異なります
お電話やお問い合わせフォームでの在庫確認、お客様宅への発送やお取り置き・お取り寄せは行っておりません
コンピュータサイエンスにおける様相論理
¥3,520
在庫あり
商品レビュー
0
1件のお客様レビュー
[出典] 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 
お手持ちのスマホで確認する
お手持ちのスマホでスキャン
お近くのスタッフに、表示されたスマホ画面を
みせていただければ商品をお探しいたします。
ブックオフナビをご利用いただき ありがとうございます
お近くのスタッフにこの商品詳細画面をお見せください。400万点の在庫の中から商品をお探しいたします。
※画面に表示されている価格はお取り寄せ時の価格となります。