مشخصات کتاب

Program Construction: Calculating Implementations from Specifications

ویرایش: 1 
نویسندگان: Roland Backhouse  
سری:  
ISBN (شابک) : 0470848820, 9780470848821 
ناشر: John Wiley & Sons, Ltd 
سال نشر: 2003 
تعداد صفحات: 353 
زبان: English  
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 20 مگابایت 

در صورت تبدیل فایل کتاب Program Construction: Calculating Implementations from Specifications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ساخت برنامه: محاسبه پیاده سازی ها از روی مشخصات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب ساخت برنامه: محاسبه پیاده سازی ها از روی مشخصات

رویکرد منحصربه‌فرد به آنچه بیشتر کتاب‌ها نمی‌پردازند، می‌پردازد: چرا ریاضیات و منطق ابزارهای اساسی برای یک برنامه‌نویس هستند. این راهنمای جامع ترکیبی متعادل از نظریه ریاضی و تمرین برنامه‌نویسی است. توابع ثابت و محدود شامل طیف گسترده ای از مثال ها و تمرین های سرگرم کننده و چالش برانگیز

توضیحاتی درمورد کتاب به خارجی

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

فهرست مطالب

Table of Contents
......Page 6
Preface
......Page 10
1: A Science of Computing
......Page 14
2: A Searching Problem and Its Solution
......Page 22
3: Calculational Proof
......Page 36
4: Implementation Issues
......Page 54
5: Calculational Logic: Part 1
......Page 66
6: Number Conversion
......Page 84
7: Calculational Logic: Part 2
......Page 96
8: Maximum and Minimum
......Page 110
9: The Assignment Statement
......Page 118
10: Sequential Composition and Conditional Statements
......Page 134
11: Quantifiers
......Page 150
12: Inductive Proofs and Constructions
......Page 178
13: Iteration
......Page 196
14: Sorting and Searching Algorithms
......Page 210
15: Remainder Computation
......Page 228
16: Cyclic Codes
......Page 254
Appendix......Page 268
Solutions to Exercises
......Page 276
Referencess......Page 344
Glossary of Symbols
......Page 346
Index......Page 348

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Empirische Forschung im Kontext Schule: Einführung in theoretische Aspekte und methodische Zugänge

دانلود کتاب Botanical Watercolor Painting for Beginners: A Step-by-Step Guide to Create Beautiful Floral Artwork

دانلود کتاب 101 Ways to Be Less Stressed: Simple Self-Care Strategies to Boost Your Mind, Mood, and Mental Health

دانلود کتاب Among the Tibetans

دانلود کتاب Rick Steves Spain