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

著者

• 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

書誌事項

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

注記

At head of title: Imperial College, Department of Computing

Includes bibliographical references and index

• NII書誌ID(NCID): BA27418519
• ISBN:
  • 186094003X
• LCCN: 95037143
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London,Singapore ; River Edge, NJ
• ページ数/冊数: ix, 431 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA75.5
  • DC20 : 005.1/01/5113
• 件名:
  • LCSH : Computer science -- Congresses