Formal description techniques, IV : proceedings of the IFIP TC/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991

著者

• FORTE
• Parker, K. R. (Ken R.)
• Rose, G. A. (Gordon A.)

書誌事項

Formal description techniques, IV : proceedings of the IFIP TC/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991

edited by K.R. Parker, G.A. Rose

（IFIP transactions, C . Communications systems ; 2）

North-Holland, 1992

注記

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA13964022
• ISBN:
  • 0444894020
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam ; Tokyo
• ページ数/冊数: xv, 574 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA76.6
  • DC20 : 005.1
• 件名:
  • LCSH : Electronic digital computers -- Programming -- Congresses
  • LCSH : Formal languages -- Congresses
• 親書誌ID:
  • BA13962399