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