الوصف
Roland C Backhouse, University of Essex. Program Construction and Verification Computer Science Series.
تفاصيل الكتاب
تنسيق
غلاف ورقي
صفحات
281 صفحات
لغة
الإنجليزية
منشور
يناير 1, 1986
الناشر
Prentice Hall
الطبعات
2 طبعات
رقم ISBN-10
0137291469
رقم ISBN-13
9780137291465