Logics of programs : workshop, Yorktown Heights, New York, May 1981

Author(s)

• Logics of Programs Workshop
• Kozen, Dexter

Bibliographic Information

Logics of programs : workshop, Yorktown Heights, New York, May 1981

edited by Dexter Kozen

（Lecture notes in computer science, 131）

Springer-Verlag, 1982

• : gw
• : us

Note

Includes bibliographies

Details

• NCID: BA03670808
• ISBN:
  • 354011212X
  • 038711212X
• LCCN: 82003219
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: vi, 429 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.6
  • DC19 : 519.7
• Subject Headings:
  • LCSH : Electronic digital computers -- Programming -- Congresses
• Parent Bibliography ID:
  • BA00009279