|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
モダン・ソフトウェアエンジニアリング
|
| 著者: |
Ivar Jacobson, Harold “Bud" Lawson, Pan-Wei Ng, Paul E. McMahon, Michael Goedicke, 鷲崎 弘宜, 角 征典 |
| 出版社: |
翔泳社 |
| 評価: |
|
| カテゴリ: |
|
| コメント: |
|
| 関連本棚: |
suchi
kuwa
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Amazon
|
| 著者: |
Gentle Introduction to Dependent Types with Idris |
| 出版社: |
|
| 評価: |
|
| カテゴリ: |
|
| コメント: |
|
| 関連本棚: |
kuwa
|
|
|
|
|
|
|
圏論入門
|
| 著者: |
雪田修一 |
| 出版社: |
日本評論社 |
| 評価: |
|
| カテゴリ: |
|
| コメント: |
|
| 関連本棚: |
kuwa
|
|
|
|
|
|
|
Amazon
|
| 著者: |
Model Checking, second edition (Cyber Physical Systems Series) |
| 出版社: |
|
| 評価: |
|
| カテゴリ: |
|
| コメント: |
|
| 関連本棚: |
kuwa
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|