Proceedings, First IEEE International Conference Conference on Formal Engineering Methods : Hiroshima, Japan, November 12-14, 1997

著者

• ICFEM
• Hinchey, Michael G. (Michael Gerard)
• Liu, Shaoying
• IEEE Computer Society
• IEEE Computer Society. Technical Committee on Complexity in Computing

書誌事項

Proceedings, First IEEE International Conference Conference on Formal Engineering Methods : Hiroshima, Japan, November 12-14, 1997

sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing ; in cooperation with Software Engineers Association of Japan ... [et al.] ; [edited by Michael G. Hinchey and Shaoying Liu]

IEEE Computer Society, c1997

タイトル別名

Formal engineering methods

97TB100188

ICFEM

注記

"IEEE Computer Society order number PR08002"--T.p. verso

"IEEE order plan catalog number 97TB100188"--T.p. verso

Includes bibliographical references and index

内容説明・目次

内容説明

This volume on architecture/parallel and high performance computing is aimed at researchers, professors, practitioners, students and other computing professionals.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA43652652
• ISBN:
  • 0818680024
• LCCN: 97074199
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Los Alamitos, Calif.
• ページ数/冊数: xi, 327 p.
• 大きさ: 28 cm
• 分類:
  • LCC : TA5
  • DC21 : 620/.0028
• 件名:
  • LCSH : Engineering -- Methodology -- Congresses
  • LCSH : Computer software -- Development -- Congresses