دانلود کتاب ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings
ZB 2003: مشخصات رسمی و توسعه در Z و B: سومین کنفرانس بین المللی کاربران B و Z تورکو، فنلاند، 4 تا 6 ژوئن، 2003 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 554 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540402535,9783540402534 |
| نوبت چاپ | 1 |
دانلود کتاب 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. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 496 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 3540255591,9783540255598 |
| نوبت چاپ | 1 |