اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers
قیمت اصلی 177,000 تومان بود.102,000 تومانقیمت فعلی 102,000 تومان است.
خرید و دانلود نسخه کامل کتاب Image Analysis and Processing: 9th International Conference, ICIAP '97 Florence, Italy, September 17–19, 1997 Proceedings, Volume II
قیمت اصلی 157,000 تومان بود.82,000 تومانقیمت فعلی 82,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
08ساعت
22دقیقه
06ثانیه
-56%
خرید و دانلود نسخه کامل کتاب 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 تومان است.
تعداد فروش: 77
| عنوان فارسی |
B’98: پیشرفتهای اخیر در توسعه و استفاده از روش B: دومین کنفرانس بین المللی B مونپلیه ، فرانسه ، 22 تا 24 آوریل 1998 |
|---|---|
| عنوان اصلی | B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Jean -Raymond Abrial (auth.), Didier Bert (eds.) |
| ISBN | 3540644059, 9783540644057 |
| سال نشر | 1998 |
| زبان | English |
| تعداد صفحات | 630 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 4 مگابایت |
1
آیتم فروخته شده در 55 دقیقه
5
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات داوری دومین کنفرانس بین المللی B، B’98، برگزار شده در مونپلیه، فرانسه، در آوریل 1998 را ارائه می دهد.
کتاب 15 مقاله کامل اصلاح شده را ارائه می کند که از بین 29 ارسالی و همچنین چهار مشارکت دعوت شده انتخاب شده اند. . روش B به سرعت در حال افزایش محبوبیت برای مشخصات و طراحی نرم افزار است. این کتاب تمام جنبههای فناوری B، از جمله موضوعات مقدماتی و روششناختی، تحقیقات نظری و کاربردهای صنعتی، پیشنهادهای توسعه B و ابزارهای پشتیبانی، و همچنین مقایسه یا ادغام با سایر روشهای رسمی برای توسعه نرمافزار را پوشش میدهد.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.