دانلود کتاب ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings (Lecture Notes in Computer Science, 2272)
| عنوان فارسی | ZB 2002: مشخصات رسمی و توسعه در Z و B: دومین کنفرانس بین المللی کاربران B و Z گرنوبل، فرانسه، 23-25 ژانویه 2002، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر، 2272) |
|---|---|
| عنوان اصلی | ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings (Lecture Notes in Computer Science, 2272) |
| ناشر | Springer |
| نویسنده | Didier Bert (editor), Jonathan P. Bowen (editor), Martin C. Henson (editor), Ken Robinson (editor) |
| ISBN | 3540431667, 9783540431664 |
| سال نشر | 2002 |
| زبان | English |
| تعداد صفحات | 547 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 4 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد