Third IEEE international conference on formal engineering methods -- : Formal engineering methods : International conference : 3rd : Sep 2000, York, UK.

• 資料種別: 図書
• ISBN: 0769508227 (pbk); 0769508243 (microfiche)
• タイトル: Third IEEE international conference on formal engineering methods -- : Formal engineering methods : International conference : 3rd : Sep 2000, York, UK.
• 著者標目: IEEE Computer Society.; IEEE Computer Society. Technical Committee on Complexity in Computing.
• 数量: v.
• 並列タイトル等: Also known as ICFEM 2000. IEEE order no PR00822; ICFEM ; formal engineering methods ; computing ; IEEE
• NDLC: M17
• 一般注記: Papers.; Also known as ICFEM 2000. IEEE order no PR00822.; Index term: ICFEM ; formal engineering methods ; computing ; IEEE.; BL shelfmark: 4362.94952 3rd 2000.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-01-2532
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000003451211; http://id.ndl.go.jp/bib/000003451211
• UKMARC番号: G07066072
• 整理区分コード: 215