Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science, logic aspect of programs, May 25-27, 1981, at Hakone Yama no Hotel

著者

• IBM Symposium on Mathematical Foundations of Computer Science
• IBM Japan. Corporate & Scientific Programs

書誌事項

Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science, logic aspect of programs, May 25-27, 1981, at Hakone Yama no Hotel

Corporate & Scientific Programs, IBM Japan, [1981?]

タイトル別名

Logic aspect of programs

注記

Pagination differs

Chairperson: Hitotumatu, S

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA9022312X
• 出版国コード: ja
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Tokyo
• ページ数/冊数: 1 v. (various pagings)
• 大きさ: 31 cm
• 分類:
  • LCC : QA76
• 件名:
  • LCSH : Machine theory -- Congresses
  • LCSH : Electronic digital computers -- Programming -- Congresses
  • LCSH : Electronic data processing -- Congresses