| 著者 | D.グリース |
|---|---|
| 出版社 | 培風館 |
| ジャンル | 専門書 |
| ISBNコード | 9784563007942 |
| 登録日 | 2013/01/10 |
| リクエストNo. | 56931 |
プログラムを論理的に構築する手法を、必要な数理論理学の解説とともに記した教科書。著者は教科書ライターとして著名な米国の教授
| 著者 | D.グリース |
|---|---|
| 出版社 | 培風館 |
| ジャンル | 専門書 |
| ISBNコード | 9784563007942 |
| 登録日 | 2013/01/10 |
| リクエストNo. | 56931 |
投票コメント (全3件)
2015/01/12
2015/01/12
2015/09/10
2015/09/10
2013/01/10
2013/01/10