اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Technologies for E-Services: Third International Workshop, TES 2002 Hong Kong, China, August 23–24, 2002 Proceedings
قیمت اصلی 173,000 تومان بود.98,000 تومانقیمت فعلی 98,000 تومان است.
خرید و دانلود نسخه کامل کتاب B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings
قیمت اصلی 135,000 تومان بود.60,000 تومانقیمت فعلی 60,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
09ساعت
15دقیقه
50ثانیه
-42%
خرید و دانلود نسخه کامل کتاب Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers
قیمت اصلی 177,000 تومان بود.102,000 تومانقیمت فعلی 102,000 تومان است.
تعداد فروش: 42
| عنوان فارسی |
انواع اثبات ها و برنامه ها: کارگاه بین المللی ، کارگاه های TYPES99 Lökeberg ، سوئد ، 12 تا 16 ژوئن 1999 منتخب منتخب |
|---|---|
| عنوان اصلی | Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Andreas Abel (auth.), Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith (eds.) |
| ISBN | 3540415173, 9783540415176 |
| سال نشر | 2000 |
| زبان | English |
| تعداد صفحات | 200 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 1 مگابایت |
2
آیتم فروخته شده در 55 دقیقه
4
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات پس از کارگاه آموزشی با داوری کامل سومین کارگاه بین المللی، TYPES’99، سازماندهی شده توسط گروه کاری ESPRIT 21900، در L?keberg، سوئد، در ژوئن 1999 است.
11 مقاله کامل اصلاح شده ارائه شده در حجم در دو دور داوری به دقت بررسی و انتخاب شد. تمام مسائل جاری در نظریه نوع و سیستم های نوع و کاربردهای آنها در برنامه نویسی و نظریه اثبات پرداخته شده است.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.