اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Ada 2005 Rationale: The Language, The Standard Libraries
قیمت اصلی 143,000 تومان بود.68,000 تومانقیمت فعلی 68,000 تومان است.
خرید و دانلود نسخه کامل کتاب Lens design
قیمت اصلی 155,000 تومان بود.80,000 تومانقیمت فعلی 80,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
12ساعت
57دقیقه
49ثانیه
-55%
خرید و دانلود نسخه کامل کتاب Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes … / Programming and Software Engineering)
قیمت اصلی 137,000 تومان بود.62,000 تومانقیمت فعلی 62,000 تومان است.
تعداد فروش: 56
| عنوان فارسی |
روش جبری و فناوری نرم افزار: دوازدهمین کنفرانس بین المللی ، AMAST 2008 Urbana ، IL ، ایالات متحده ، 28-31 ژوئیه ، 2008 ، مجموعه مقالات (یادداشت های سخنرانی … / برنامه نویسی و مهندسی نرم افزار) |
|---|---|
| عنوان اصلی | Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes … / Programming and Software Engineering) |
| ویرایش | 1 |
| ناشر | Springer |
| نویسنده | José Meseguer, Grigore Rosu |
| ISBN | 9783540799795, 3540799796 |
| سال نشر | 2008 |
| زبان | English |
| تعداد صفحات | 441 |
| دسته | فن آوری |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 10 مگابایت |
2
آیتم فروخته شده در 55 دقیقه
5
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بینالمللی روششناسی جبری و فناوری نرمافزار، AMAST 2008 است که در ژوئیه 2008 در Urbana، IL، ایالات متحده برگزار شد.
28 مقاله کامل اصلاحشده با هم ارائه شدهاند. با 3 گفتگو دعوت شده به دقت بررسی و از بین 58 مورد ارسالی انتخاب شد. از جمله موضوعات تحت پوشش، تمام مسائل جاری در روشهای رسمی مربوط به مبانی جبری و منطقی، فناوری نرمافزار و روششناسی برنامهنویسی از جمله سیستمهای همزمان و واکنشی، نرمافزارهای تکاملی/سیستمهای تطبیقی، برنامهنویسی منطقی و تابعی، پارادایمهای شی، برنامهنویسی محدودیتها و همزمانی، تأیید و تبدیل برنامه، محاسبات برنامه نویسی، زبان ها و ابزارهای مشخصات، مشخصات رسمی و مطالعات موردی توسعه، منطق، نظریه دسته بندی، جبر روابط، جبر محاسباتی، مبانی جبری برای زبان ها و سیستم ها، همزمانی، اثبات قضیه و چارچوب های منطقی برای استدلال، منطق برنامه ها و همچنین جبر و جبر.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.