Studies in automatic programming logic

Author(s)

• Manna, Zohar
• Waldinger, Richard

Bibliographic Information

Studies in automatic programming logic

Zohar Manna, Richard Waldinger ; with contributions by Shmuel Katz and Karl Levitt

（Artificial intelligence series）（The Computer science library）

North-Holland, c1977

• : pbk

Note

Bibliography: p. 181-185

Includes indexes

Details

• NCID: BA07310983
• ISBN:
  • 0444002243
  • 0444002251
• LCCN: 77005765
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: viii, 192 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.6
  • DC : 001.6/42
• Subject Headings:
  • LCSH : Automatic programming (Computer science)
  • LCSH : Computer programs
• Parent Bibliography ID:
  • BA06502402
  • BA04279515