|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Amazon
|
| 著者: |
Model Checking, second edition (Cyber Physical Systems Series) |
| 出版社: |
|
| 評価: |
|
| カテゴリ: |
|
| コメント: |
|
| 関連本棚: |
kuwa
|
|
|
|
|
|
|
圏論入門
|
| 著者: |
雪田修一 |
| 出版社: |
日本評論社 |
| 評価: |
|
| カテゴリ: |
|
| コメント: |
|
| 関連本棚: |
kuwa
|
|
|
|
|
|
|
Amazon
|
| 著者: |
Gentle Introduction to Dependent Types with Idris |
| 出版社: |
|
| 評価: |
|
| カテゴリ: |
|
| コメント: |
|
| 関連本棚: |
kuwa
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|