CAFE : an industrial-strength algebraic formal method

著者

• 二木, 厚吉 フタツギ, コウキチ
• Nakagawa, Ataru, T.
• Tamai, Tetsuo

書誌事項

CAFE : an industrial-strength algebraic formal method

edited by K. Futatsugi, A. T. Nakagawa, T. Tamai

Elsevier, c2000

注記

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA52266004
• ISBN:
  • 0444505563
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam ; Tokyo
• ページ数/冊数: xiv, 193 p.
• 大きさ: 24 cm