कवर छवि

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)
स्वरूप: पुस्तक
भाषा:अंग्रेज़ी
प्रकाशित: London Imperial College Press c1995.
विषय:
Computer science > Congresses.