First-order programming theories

Author(s)

• Gergely, T. (Tamás)
• Úry, László

Bibliographic Information

First-order programming theories

Tamás Gergely, László Úry

（EATCS monographs on theoretical computer science, v. 24）

Springer-Verlag, c1991

• : Berlin
• : New York

Note

Bibliographical references: p. [334]-340

Includes index

Details

• NCID: BA13455211
• ISBN:
  • 3540542779
  • 0387542779
• LCCN: 91027370
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: ix, 351 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.6
  • DC20 : 005.1
• Subject Headings:
  • LCSH : Electronic digital computers -- Programming
• Parent Bibliography ID:
  • BA00007320