توضیحات
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