Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996

में बचाया:
ग्रंथसूची विवरण
निगमित लेखकों: Imperial College of Science, Technology and Medicine. Department of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods
अन्य लेखक: Edalat, Abbas, Jourdan, Sofia, McCusker, Guy
स्वरूप: सम्मेलन की कार्यवाही
भाषा:English
प्रकाशित: London : Imperial Collge Press 1996
टैग: टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!