The logical basis for computer programming

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Manna, Zohar
مؤلفون آخرون: Waldinger, Richard
التنسيق: كتاب
اللغة:English
منشور في: Reading, Mass. Addison-Wesley c1985-c1990.
سلاسل:Addison-Wesley series in computer science
الموضوعات: