Formal description of programming concepts--III : proceedings of the IFIP TC2/WG 2.2 Working Conference on Formal Description of Programming Concepts , Ebberup, Denmark, 25-28 August, 1986

著者

• IFIP Working Conference on Formal Description of Programming Concepts
• Wirsing, M. (Martin)
• IFIP Technical Committee 2--Programming

書誌事項

Formal description of programming concepts--III : proceedings of the IFIP TC2/WG 2.2 Working Conference on Formal Description of Programming Concepts , Ebberup, Denmark, 25-28 August, 1986

edited by Martin Wirsing

North-Holland Pub. Co., 1987

注記

"Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--Facing t.p.

Includes bibliographies and index

詳細情報

• NII書誌ID(NCID): BA00859295
• ISBN:
  • 0444702539
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam ; Tokyo
• ページ数/冊数: xii, 453 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.6
  • DC19 : 001.64/2
• 件名:
  • LCSH : Electronic digital computers -- Programming -- Congresses
  • LCSH : Formal languages -- Congresses