Formal description techniques 7 : 7th International conference : Oct 1994, Bern, Switzerland.

• 資料種別: 図書
• ISBN: 0412644509
• タイトル: Formal description techniques 7 : 7th International conference : Oct 1994, Bern, Switzerland.
• 著者標目: International Federation for Information Processing. WG 6.1.
• 出版事項: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)
• 出版年月日等: 1995.
• 出版年（W3CDTF）: 1995
• 数量: v.
• 並列タイトル等: Also known as FORTE '94; formal description techniques ; FORTE ; IFIP
• NDLC: M17; M159
• 一般注記: Selected papers.; Also known as FORTE '94.; Index term: formal description techniques ; FORTE ; IFIP.; BL shelfmark: 4008.3365 7th 1995.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-96-0538
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000003499944; http://id.ndl.go.jp/bib/000003499944
• UKMARC番号: G02448860
• 整理区分コード: 215