Program Construction: Calculating Implementations from Specifications

Program Construction: Calculating Implementations from Specifications

لا توجد تقييمات بعد
2003 · الإنجليزية · كتاب إلكتروني · 2 طبعات
أضف إلى الرف

قيم هذا الكتاب


تصدير مجلة الكتاب

الوصف

Unique approach tackles what most books don't-why maths and logic are fundamental tools for a programmerThis comprehensive guide is a balanced combination of mathematical theory and the practice of programmingStraightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functionsIncludes a wide range of entertaining and challenging examples and exercises

تفاصيل الكتاب

تنسيق كتاب إلكتروني
صفحات 352 صفحات
لغة الإنجليزية
منشور نوفمبر 14, 2003
الناشر WILEY
الطبعات 2 طبعات
رقم ISBN-10 0470864540
رقم ISBN-13 9780470864548
أضف إلى الرف

قيم هذا الكتاب


تصدير مجلة الكتاب