Export Mendeley
＜Books＞
形式手法教科書 : 「論理学」を用いた、「ソフト工学」への数学的アプローチ / 赤間世紀著
ケイシキ シュホウ キョウカショ : ロンリガク オ モチイタ ソフト コウガク エノ スウガクテキ アプローチ
(I/O books)
| Publisher | 東京 : 工学社 |
|---|---|
| Year | 2012.11 |
| Codes | ID=2001629718 NCID=BB10933063
|
Show details.
| Language | Japanese |
|---|---|
| Size | 223p : 挿図 ; 21cm |
| Other titles | variant access title:形式手法 : 教科書 : 論理学を用いたソフト工学への数学的アプローチ |
| Notes | 参考文献: p217-219 |
| Authors | 赤間, 世紀(1960-) <アカマ, セイキ> |
| Subjects | BSH:ソフトウェア工学 |
| Classification | NDC8:007.63 NDC9:007.63 NDC9:007.61 |
| Vol | ISBN:9784777517237 ; PRICE:2500円+税 |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Reserve | Restriction | Copy | eDDS | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Eng General Lib, Open Stacks (Japanese Books) |
|
005.1/AKA | 3580234440 |
|
9784777517237 | 2012 |
|