検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵） ＞ 4th Refinement Workshop : proceedings of the 4th Refinement Workshop
書誌情報:4th Refinement Workshop : proceedings of the 4th Refinement Workshop
organised by BCS-FACS, 9-11 January 1991, Cambridge
Joseph M. Morris and Roger C. Shaw, eds
Tokyo ; London : Springer-Verlag , c1991
viii, 478 p. : ill. ; 25 cm
 WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1 0中央５階洋
  • 548.16
  • R 23
  • 4
00511033 利用可
一般 

選択行を：  

書誌詳細
刊年1991
形態viii, 478 p. : ill. ; 25 cm
別書名Fourth Refinement Workshop
シリーズ名Workshops in computing
注記"Published in collaboration with the British Computer Society."
Includes bibliographical references and index
出版国イギリス
標題言語英語
著者情報Refinement Workshop
Morris, Joseph M., 1951-
Shaw, Roger C. F.
British Computer Society. Specialist Group in Formal Aspects of Computing Science
分類LCC:QA76.76.D47
DC20:005.1
ISBN3540196579
0387196579
件名LCSH:Computersoftware -- Development -- Congresses
LCSH:Computers -- Congresses
NCIDBA13183428
番号LCCN : 91000442

WebCatPlus を見る    CiNii Books を見る
▲ページトップへ