دانلود کتاب Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 – November2, 2004, Revised Selected Papers
49,000 تومان
استفاده از کاربردهای روش های رسمی: اولین سمپوزیوم بین المللی، ISoLA 2004، پافوس، قبرس، 30 اکتبر – 2 نوامبر، 2004، مقالات منتخب اصلاح شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 197 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540489282,9783540489283 |
| نوبت چاپ | 1 |
| نویسنده | Bernhard Steffen (eds.), Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2006 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
استفاده از کاربردهای روش های رسمی: اولین سمپوزیوم بین المللی، ISoLA 2004، پافوس، قبرس، 30 اکتبر – 2 نوامبر، 2004، مقالات منتخب اصلاح شده
از بررسیها:
“کاربردهای عملی روشهای رسمی در حال افزایش است. این کتاب حاوی مقالات اصلی یک سمپوزیوم بینالمللی در مورد استفاده از کاربرد روشهای رسمی است. (IsoLA). از 12 مقاله تشکیل شده است. … به نظر من مقالات بسیار آموزنده هستند؛ آنها راه هایی را برای استفاده از روش های رسمی نشان می دهند. من توصیه می کنم که پزشکان چنین کاربردهایی را بررسی کنند.” (S. V. Nagaraj, ACM Computing Reviews, Vol. 49 (8), August, 2008)
From the reviews:
“The practical applications of formal methods are increasing. This book contains the main proceedings of an international symposium on leveraging applications of formal methods (IsoLA). It consists of 12 papers. … I find the papers highly informative; they exemplify ways to leverage applications of formal methods. I recommend that practitioners explore such applications.” (S. V. Nagaraj, ACM Computing Reviews, Vol. 49 (8), August, 2008)
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.