Formal specification and software development /

में बचाया:
ग्रंथसूची विवरण
मुख्य लेखक: Bjorner, D. (Dines), 1937- (लेखक)
अन्य लेखक: Jones, C. B. (Cliff B.), 1944-
स्वरूप: पुस्तक
भाषा:अंग्रेज़ी
प्रकाशित: ©1982
श्रृंखला:Prentice-Hall international series in computer science
विषय:
टैग: टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!