• RecordNumber
    5229
  • LC Class
    QA
  • LC Number
    76
  • LC CutterNumber
    .B7
  • Dewey Class
    519
  • Dewey Date
    .92
  • Author

    Braffort, Paul, ed

  • Title

    Computer programming and formal systems

  • Author Statement
    Edited by P. Braffort and D. Hirschberg
  • Publication
    North-Holland Pub. Co
  • Publication Year
    1963
  • Collation
    vi, 161 p. illus. 22 cm
  • Series
    Studies in logic and the foundations of mathematics
  • Notes
    Imprint covered by label: New York, Humanities Press
  • Subject

    Programming (Electronic computers)- Addresses, essays, lectures

  • ADDED ENTRIES
    Hirschberg, D. (David), joint ed
  • DocumentNumber
    24751
  • Biblography
    Includes bibliographies
  • BL
    BL