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.