Refinement : 4th Workshop : Jan 1991, Cambridge, UK.

著者: British Computer Society. Specialist Group in Formal Aspects of Computing Science.

出版者: Published in collaboration with the British Computer Society [by] Springer-Verlag

資料に関する注記

一般注記：: Papers.(Workshops in Computing)Index term: refinement ; BCS ; FACS....

書店で探す

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

資料種別: 図書
ISBN: 3540196579
0387196579
タイトル: Refinement : 4th Workshop : Jan 1991, Cambridge, UK.
著者標目: British Computer Society. Specialist Group in Formal Aspects of Computing Science.
出版事項: London : Published in collaboration with the British Computer Society [by] Springer-Verlag
出版年月日等: c1991.
出版年（W3CDTF）: 1991
数量: v.
並列タイトル等: (Workshops in Computing)
refinement ; BCS ; FACS
NDLC: M17
M154
一般注記: Papers.
(Workshops in Computing)
Index term: refinement ; BCS ; FACS.
BL shelfmark: 7332.195 4th 1991.
所蔵機関: 国立国会図書館
請求記号: M17-92-1302
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000003486002
http://id.ndl.go.jp/bib/000003486002
UKMARC番号: G01666410
整理区分コード: 215