Formal descriptions of developing systems

著者

• Nation, J. B. (James Bryant)
• Trofimova, Irina
• Rand, John D.
• Sulis, W. H. (William H.)

書誌事項

Formal descriptions of developing systems

edited by James Nation ... [et al.]

（NATO science series, Series II . Mathematics, physics, and chemistry, v. 121）

Kluwer Academic Publishers, c2003

タイトル別名

Proceedings of the NATO Advances Research Workshop on Formal descriptions of developing systems, Manoa, Hawaii, U.S.A., 2-6 October 2002

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA64500608
• ISBN:
  • 1402015674
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht
• ページ数/冊数: xiv, 306 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QC174
  • DC22 : 501
• 件名:
  • LCSH : Science -- Methodology -- Congresses
  • LCSH : Science -- Forecasting -- Congresses
• 親書誌ID:
  • BA40559140