Formal description techniques, III : proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '90, Madrid, Spain, 5-8 November, 1990

著者

• FORTE
• Quemada, Juan
• Mañas, José
• Vázquez, Enrique

書誌事項

Formal description techniques, III : proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '90, Madrid, Spain, 5-8 November, 1990

edited by Juan Quemada, Jose Mañas, Enrique Vázquez

North-Holland , Distributors for the US and Canada, Elsevier Science Pub. Co., 1991

タイトル別名

Formal description techniques, 3

Formal description techniques, three

注記

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA12511587
• ISBN:
  • 0444890246
• LCCN: 91011961
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam ; Tokyo,New York, N.Y.
• ページ数/冊数: xvii, 584 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA76.6
  • DC20 : 005.1
• 件名:
  • LCSH : Electronic digital computers -- Programming -- Congresses
  • LCSH : Formal languages -- Congresses