دانلود کتاب A practical theory of programming (به فارسی: نظریه کاربردی برنامه نویسی) نوشته شده توسط «Eric C.R. Hehner»
اطلاعات کتاب نظریه کاربردی برنامه نویسی
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag
نویسنده: Eric C.R. Hehner
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1993
تعداد صفحه: 242
حجم کتاب: 1 مگابایت
کد کتاب: 9780387941066 , 0387941061 , 3540941061
نوبت چاپ: 2004.01.01
توضیحات کتاب نظریه کاربردی برنامه نویسی
شامل تئوری بولی، نظریه اعداد و کاراکتر، دسته، مجموعه، نظریه رشته و فهرست، توابع و کمیت‌کننده‌ها، مشخصات، زمان واقعی، استحکام، ساختارهای داده، ساختارهای کنترلی، زیربرنامه‌ها، برنامه‌نویسی تابعی، تعریف بازگشتی، نظریه‌های داده و برنامه، همزمانی، و ارتباطات شامل 372 تمرین در انتهای کتاب به ترتیب فصل.
Covers Boolean theory, number and character theory, bunch, set, string and list theory, functions and quantifiers, specifications, real time, robustness, data structures, control structures, subprograms, functional programming, recursive definition, data and program theories, concurrency, and communication. Contains 372 exercises at the end of the book, arranged by chapter.
دانلود کتاب «نظریه کاربردی برنامه نویسی»
