دانلود کتاب 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
| عنوان فارسی | ZB 2005: مشخصات رسمی و توسعه در Z و B: چهارمین کنفرانس بین المللی کاربران B و Z، گیلدفورد، انگلستان، 13-15 آوریل، 2005. مجموعه مقالات |
|---|---|
| عنوان اصلی | 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 |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Cliff B. Jones (auth.), Helen Treharne, Steve King, Martin Henson, Steve Schneider (eds.) |
| ISBN | 3540255591, 9783540255598 |
| سال نشر | 2005 |
| زبان | English |
| تعداد صفحات | 496 [506] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 7 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد