Formal models in programming : proceedings of the IFIP TC2 Working Confernece on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985

著者

• IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing
• Neuhold, Erich J.
• Chroust, Gerhard
• IFIP Technical Committee 2--Programming

書誌事項

Formal models in programming : proceedings of the IFIP TC2 Working Confernece on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985

edited by E. J. Neuhold and G. Chroust

North-Holland, 1985

注記

Includes bibliographies

詳細情報

• NII書誌ID(NCID): BA00109513
• ISBN:
  • 0444878882
• LCCN: 85025214
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam
• ページ数/冊数: xix, 425 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.6
  • DC19 : 005.1
• 件名:
  • LCSH : Electronic digital computers -- Programming -- Congresses
  • LCSH : Zemanek, Heinz