関連資料一覧：（本学所蔵）
検索条件
著者情報：Refinement Workshop
選択行を：
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
| 1 |  | 3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop (organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hursley Park, and the Programming Research Group, University of Oxford) 9-11 January 1990, Hursley Park U.S. : alk. paper ( Workshops in computing ) | 中央図書館 | Carroll Morgan and J.C.P. Woodcock, eds. | Springer-Verlag | 1991 | 中央５階洋 548.16||R 23||3 |
| 2 | | 4th Refinement Workshop : proceedings of the 4th Refinement Workshop ( Workshops in computing ) | 中央図書館 | organised by BCS-FACS, 9-11 January 1991, Cambridge, Joseph M. Morris and Roger C. Shaw, eds | Springer-Verlag | 1991 | 中央５階洋 548.16||R 23||4 |
選択行を
|