関連資料一覧:(本学所蔵)
検索条件
著者情報:British Computer Society. Specialist Group in Formal Aspects of Computing Science
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
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 | 中央5階洋 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 | 中央5階洋 548.16||R 23||4 |
選択行を
|