Formal description of programming concepts--II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982

著者

• IFIP Working Conference on Formal Description of Programming Concepts
• Bjørner, D. (Dines)
• IFIP Technical Committee 2--Programming

書誌事項

Formal description of programming concepts--II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982

edited by Dines Bjørner

North-Holland Pub. Co., 1983

注記

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

Includes bibliographies and index

詳細情報

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