Program specification and transformation : proceedings of the IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 April 1986

著者

• IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation
• Meertens, Lambert
• IFIP Technical Committee 2--Programming
• IFIP Working Group 2.1 on Algol

書誌事項

Program specification and transformation : proceedings of the IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 April 1986

edited by L.G.L.T. Meertens

North-Holland , Sole distributors for the U.S.A. and Canada, 1987

注記

Includes index

詳細情報

• NII書誌ID(NCID): BA00573146
• ISBN:
  • 0444702237
• LCCN: 87005323
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam ; Tokyo,New York, N.Y., U.S.A.
• ページ数/冊数: viii, 535 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.6
  • DC19 : 005
• 件名:
  • LCSH : Electronic digital computers -- Programming -- Congresses