دانلود کتاب ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
49,000 تومان
ZB 2005: مشخصات رسمی و توسعه در Z و B: چهارمین کنفرانس بین المللی کاربران B و Z، گیلدفورد، انگلستان، 13-15 آوریل، 2005. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 496 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 3540255591,9783540255598 |
| نوبت چاپ | 1 |
| نویسنده | Cliff B. Jones (auth.), Helen Treharne, Martin Henson, Steve King, Steve Schneider (eds.) |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2005 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
ZB 2005: مشخصات رسمی و توسعه در Z و B: چهارمین کنفرانس بین المللی کاربران B و Z، گیلدفورد، انگلستان، 13-15 آوریل، 2005. مجموعه مقالات
این کتاب مجموعه مقالات داوری چهارمین کنفرانس بین المللی کاربران Z و B، ZB 2005 است که در گیلدفورد، انگلستان در آوریل 2005 برگزار شد.
25 مقاله کامل اصلاح شده همراه با چکیده های مبسوط ارائه شده است. 2 مقاله دعوت شده با دقت بررسی و برای درج در کتاب انتخاب شدند. این مقالات پیشرفتهای اخیر را برای نماد مشخصات رسمی Z و روش B، از مسائل بنیادی، نظری، و روششناختی گرفته تا برنامههای کاربردی، ابزارها و مطالعات موردی پیشرفته را مستند میکنند.
This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, UK in April 2005.
The 25 revised full papers presented together with extended abstracts of 2 invited papers were carefully reviewed and selected for inclusion in the book. The papers document the recent advances for the Z formal specification notation and for the B method, ranging from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.