書誌事項

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
  • 分類
  • 件名
ページトップへ