Theory and formal methods of computing 94 : proceedings of the second Imperial College workshop

Author(s)

• Hankin, Chris
• Mackie, I. (Ian)
• Nagarajan, R. (Rajagopal)
• Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing
• Imperial College Department of Computing Workshop on Theory and Formal Methods

Bibliographic Information

Theory and formal methods of computing 94 : proceedings of the second Imperial College workshop

editors, C. Hankin, I. Mackie, R. Nagarajan

Imperial College Press , Distributed by World Scientific, c1995

Note

At head of title: Imperial College, Department of Computing

Includes bibliographical references and index

Details

• NCID: BA27418519
• ISBN:
  • 186094003X
• LCCN: 95037143
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London,Singapore ; River Edge, NJ
• Pages/Volumes: ix, 431 p.
• Size: 23 cm
• Classification:
  • LCC : QA75.5
  • DC20 : 005.1/01/5113
• Subject Headings:
  • LCSH : Computer science -- Congresses