BCS-FACS 7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996
著者
書誌事項
BCS-FACS 7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996
（Electronic workshops in computing）
Springer, c1997
- : pbk
注記
"Published in collaboration with the British Computer Society."
入力は遡及データによる
