書籍等出版物

2011年

Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software

  • DIKU-IST Joint
  • ,
  • Workshop on Foundations of Software
  • ,
  • Glück R. (Robe
  • ,
  • Henglein Fritz
  • ,
  • Hu Zhenjiang
  • ,
  • 武市 正人

出版者・発行元
Department of Computer Science, University of Copenhagen
記述言語
英語
著書種別

リンク情報
CiNii Books
http://ci.nii.ac.jp/ncid/BB10739344