Computer programming and formal systems

Author(s)

• Braffort, P. (Paul)
• Hirschberg, D. (David)

Bibliographic Information

Computer programming and formal systems

edited by P. Braffort and D. Hirschberg

（Studies in logic and the foundations of mathematics）

North-Holland Publishing, 1963

Note

Some imprints covered by label: New York : Humanities Press

Includes bibliographies

Details

• NCID: BA2585818X
• LCCN: 63003816
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: vi, 161 p.
• Size: 22 cm
• Classification:
  • LCC : QA76
  • DC : 519.92
• Subject Headings:
  • LCSH : Programming (Electronic computers) -- Addresses, essays, lectures
• Parent Bibliography ID:
  • BA00099329