|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
モダン・ソフトウェアエンジニアリング
|
著者: |
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|