The logical basis for computer programming

ग्रंथसूची विवरण
मुख्य लेखक: Manna, Zohar
अन्य लेखक: Waldinger, Richard
स्वरूप: पुस्तक
भाषा:English
प्रकाशित: Reading, Mass. Addison-Wesley c1985-c1990.
श्रृंखला:Addison-Wesley series in computer science
विषय: