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.