 |
|
 |
|
| 書名 | 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 |
|---|---|
| 著作者等 |
Morgan, Carroll Refinement Workshop IBM UK Laboratories Oxford University Computing Laboratory. Programming Research Group Woodcock, Jim |
| 書名別名 | Third Refinement Workshop |
| シリーズ名 |
Workshops in computing |
| 出版元 | Springer |
| 刊行年月 | c1991 |
| ページ数 | vii, 197 p |
| 大きさ | 25 cm |
| ISBN |
3540196242 0387196242 |
| NCID |
BA12406334 ※クリックでCiNii Booksを表示 |
| 出版国 | イギリス |
