Formal description techniques, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993

著者

• International Conference on Formal Description Techniques
• Tenney, Richard L.

書誌事項

Formal description techniques, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993

edited by R.L. Tenney ... [et al.]

（IFIP transactions, C, Communication systems, C-22）

North-Holland, c1994

注記

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA23046161
• ISBN:
  • 0444817735
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam ; New York
• ページ数/冊数: xv, 501 p.
• 大きさ: 23 cm
• 親書誌ID:
  • BA13962399