Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science : logic aspect of programs

Author(s)

• IBM Symposium on Mathematical Foundations of Computer Science
• IBM Japan. Corporate & Scientific Programs

Bibliographic Information

Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science : logic aspect of programs

Corporate & scientific programs, IBM Japan, May 25-27, 1981, at Hakone Yama no Hotel

Corporate & Scientific Programs IBM Japan, [1981]

Note

Includes bibliographical references

Details

• NCID: BA0355939X
• Country Code: ja
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Tokyo
• Pages/Volumes: 431 p.
• Size: 31 cm
• Classification:
  • LCC : QA76
• Subject Headings:
  • LCSH : Computer science literature