دانلود کتاب Software Development With Z: A Practical Approach to Formal Methods in Software Engineering
49,000 تومان
توسعه نرم افزار با Z: رویکردی عملی به روش های رسمی در مهندسی نرم افزار
| موضوع اصلی | فن آوری |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Addison-Wesley Pub (Sd) |
| تعداد صفحه | 375 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 0201627574,9780201627572 |
| نویسنده | John Wordsworth |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1992 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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: رویکردی عملی به روش های رسمی در مهندسی نرم افزار
این کتاب یک راهنمای آموزشی بسیار کاربردی برای زبان مشخصات Z و نقش آن در توسعه نرم افزار است. این کتاب نشان می دهد که چگونه می توان رویه ها و تصمیمات آشنا را با استفاده از ریاضیات دقیق کرد. با شروع یک مطالعه موردی، این کتاب به گونهای طراحی شده است که تا حد امکان مستقل باشد و خواننده را از طریق مفاهیم اساسی در منطق و نظریه مجموعهها و فرمولبندی ایدههای دقیق در مورد سیستمهای نرمافزاری ببرد و یک رویکرد رسمی را با نمونههای عملی استفاده از آن در توسعه نرم افزار.
This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.