＜図書＞
The B-book : assigning programs to meanings / J.-R. Abrial
The B-book : assigning programs to meanings
| データ種別 | 図書 |
|---|---|
| 出版者 | Cambridge : Cambridge University Press |
| 出版年 | c1996 |
| 大きさ | xxxiv, 779 p. ; 26 cm |
目次／あらすじ
所蔵情報を非表示
| 巻 次 | 配架場所 | 請求記号 | 登録番号 | 状 態 | コメント | ISBN | 刷 年 | 予約 |
|---|---|---|---|---|---|---|---|---|
|
|
3階 | 007.64/A14 | 0097038678 |
|
0521496195 | 1996 |
書誌詳細を非表示
| 一般注記 | Includes index |
|---|---|
| 著者標目 | Abrial, J.-R. (...Jean-Raymond...) |
| 件 名 | B (Computer program language) Computer software -- Development 全ての件名で検索 |
| 書誌ID | 1000078250 |
| ISBN | 0521496195 |
| NCID | BA28484188 |
目次／あらすじ