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

Author(s)

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

Bibliographic Information

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

Note

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

Includes bibliographies and index

Details

• NCID: BA00859295
• ISBN:
  • 0444702539
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam ; Tokyo
• Pages/Volumes: xii, 453 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.6
  • DC19 : 001.64/2
• Subject Headings:
  • LCSH : Electronic digital computers -- Programming -- Congresses
  • LCSH : Formal languages -- Congresses