Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop

Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop

書誌詳細
共著者: Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods
その他の著者: Hankin, Chris, Mackie, I. (Ian), Nagarajan, R. (Rajagopal)
フォーマット: 図書
言語:English
出版事項: London Imperial College Press c1995.
主題:
Computer science > Congresses.