Domain theory, logic and computation : proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

著者

• International Symposium on Domain Theory
• Zhang, Guo-Qiang

書誌事項

Domain theory, logic and computation : proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

edited by GQ Zhang ... [et al.]

（Semantic structures in computation, v. 3）

Kluwer Academic, c2003

注記

Includes index

詳細情報

• NII書誌ID(NCID): BA66013834
• ISBN:
  • 9781402018329
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht
• ページ数/冊数: xii, 196 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.7
  • DC22 : 005.13
• 件名:
  • LCSH : Programming languages (Electronic computers) -- Semantics -- Congresses
• 親書誌ID:
  • BA55452650