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

Author(s)

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

Bibliographic Information

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

Note

Includes bibliographies

Details

• NCID: BA00109513
• ISBN:
  • 0444878882
• LCCN: 85025214
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: xix, 425 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.6
  • DC19 : 005.1
• Subject Headings:
  • LCSH : Electronic digital computers -- Programming -- Congresses
  • LCSH : Zemanek, Heinz