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

Author(s)

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

Bibliographic Information

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

Note

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

Includes bibliographies and index

Details

• NCID: BA00256132
• ISBN:
  • 0444866191
• LCCN: 83000558
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam ; New York
• Pages/Volumes: xii, 455 p.
• Size: 23 cm
• Classification:
  • LCC : QA76.6
  • DC19 : 001.64/2
• Subject Headings:
  • LCSH : Electronic digital computers -- Programming -- Congresses
  • LCSH : Formal languages -- Congresses