دانلود کتاب Formal Software Development: From VDM to Java
49,000 تومان
توسعه نرم افزار رسمی: از VDM تا جاوا
| موضوع اصلی | برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Palgrave Macmillan |
| تعداد صفحه | 253 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 0333992814,9780333992814,9780230005860 |
| نویسنده | Aaron Kans, Quentin Charatan |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2003 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
توسعه نرم افزار رسمی: از VDM تا جاوا
این متن مهندسی نرم افزار با سرعت ملایم بر استفاده از روش های رسمی برای توسعه نرم افزار با یکپارچگی بالا متمرکز است. هیچ دانش قبلی از روشهای رسمی را فرض نمیکند، و یک درمان عملی و جامع از این موضوع را ارائه میکند که مناسب برای سالهای دوم و سوم کارشناسی در دورههای محاسباتی، و دانشجویان در دورههای کارشناسی ارشد تدریس میشود. این کتاب شامل مثالها و تمرینهایی است که توسط یک وبسایت اختصاصی پشتیبانی میشود.
This gently paced software engineering text concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master’s courses. The book contains examples and exercises throughout, and is supported by a dedicated web site.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Hands-On Blockchain for Python Developers: Gain blockchain programming skills to build decentralized applications using Python
| موضوع اصلی | کامپیوتر - برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Packt Publishing |
| تعداد صفحه | 450 / 436 |
| حجم فایل | 14.16 مگابایت |
| کد کتاب | 1788627857 , 9781788627856 |
نقد و بررسیها
هنوز بررسیای ثبت نشده است.