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
書誌情報: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
Carroll Morgan and J.C.P. Woodcock, eds.
London ; New York : Springer-Verlag , c1991.
vii, 197 p. : ill. ; 25 cm.


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1U.S. : alk. paper0中央５階洋
  • 548.16
  • R 23
  • 3
00511032 利用可
一般 

選択行を：  

書誌詳細
刊年1991
形態vii, 197 p. : ill. ; 25 cm.
別書名Third Refinement Workshop.
シリーズ名Workshops in computing
注記"Published in collaboration with the British Computer Society."
Includes bibliographical references and index.
出版国イングランド
標題言語英語
本文言語英語
著者情報Refinement Workshop
Morgan, Carroll, 1952-
Woodcock, James
British Computer Society. Specialist Group in Formal Aspects of Computing Science
IBM UK Laboratories.
Oxford University Computing Laboratory. Programming Research Group
分類LCC:QA76.6
DC20:005.1
ISBN0387196242(U.S. : alk. paper)
3540196242
件名LCSH:Electronicdigitalcomputers -- Programming -- Congresses.
番号NBN : GB90-50358LCCN : 90022992

   
▲ページトップへ