Advances in theory and formal methods of computing : proceedings of the third Imperial College workshop, Christ Church, Oxford, 1-3 April 1996

著者

• Edalat, A
• Jourdan S.
• McCusker, G.
• Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing
• Imperial College Department of Computing Workshop on Theory and Formal Methods

書誌事項

Advances in theory and formal methods of computing : proceedings of the third Imperial College workshop, Christ Church, Oxford, 1-3 April 1996

editors, A. Edalat, S. Jourdan, G. McCusker

Imperial College Press , Distributed by World Scientific, c1996

注記

Includes bibliographical references

詳細情報

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