Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques

著者

• FORTE
• Hogrefe, Dieter
• Leue, Stefan
• IFIP Working Group 6.1

書誌事項

Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques

edited by Dieter Hogrefe and Stefan Leue

Chapman & Hall on behalf of the International Federation for Information Processing, 1995

注記

Includes index

詳細情報

• NII書誌ID(NCID): BA26749871
• ISBN:
  • 0412644509
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London ; Tokyo
• ページ数/冊数: x, 520 p.
• 大きさ: 25 cm
• 分類:
  • DC20 : 004.62
• 件名:
  • LCSH : Electronic data processing -- Distributed processing -- Congresses
  • LCSH : Electronic data processing -- Distributed processing -- Protocols -- Congresses
  • LCSH : Formal languages -- Congresses