Formal description techniques, IX : theory, application and tools : IFIP TC6

著者

• FORTE
• Gotzhein, Reinhard
• Bredereke, Jan
• International Federation for Information Processing
• IFIP TC 6/WG 6.1 International Conference on Protocol Specification, Testing and Verification

書誌事項

Formal description techniques, IX : theory, application and tools : IFIP TC6

6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October, 1996 / edited by Reinhard Gotzhein and Jan Bredereke

published by Chapman & Hall on behalf of the International Federation for Information Processing, 1996

注記

Includes bibliographical references and index

詳細情報

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