دانلود کتاب Using Z.Specification,refinement,and proof
49,000 تومان
با استفاده از Z.Specification، پالایش و اثبات
| موضوع اصلی | الکترونیک: رادیو |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Prentice Hall |
| تعداد صفحه | 407 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 9780139484728,0139484728 |
| نویسنده | Jim Davies, Jim Woodcock |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 1996 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
با استفاده از Z.Specification، پالایش و اثبات
این کتاب حاوی مطالب کافی برای سه دوره آموزشی کامل است. مقدمه ای برای دنیای منطق، مجموعه ها و روابط فراهم می کند. استفاده از Znotation را در مشخصات سیستم های واقع گرایانه توضیح می دهد. این نشان می دهد که چگونه مشخصات Z ممکن است برای تولید کد اجرایی اصلاح شوند. این در مجموعه ای از مطالعات موردی نشان داده شده است. ملزومات مشخصات، پالایش و اثبات پوشش داده شده است، تکنیک های آشکاری که قبلاً هرگز منتشر نشده بود. تمرین ها، راه حل ها و مجموعه ای از Tranparencies از طریق http://www.comlab.ox.ac.uk/usingz.html در دسترس هستند
Using Z.Specification,refinement,and proof
This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published. Exercises, Solutions and set of Tranparencies are available via http://www.comlab.ox.ac.uk/usingz.html
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.