دانلود کتاب Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
دانلود کتاب Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers
دانلود کتاب Formal Methods: State of the Art and New Directions
دانلود کتاب 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
ZB 2002: مشخصات رسمی و توسعه در Z و B: دومین کنفرانس بین المللی کاربران B و Z گرنوبل، فرانسه، 23 تا 25 ژانویه، 2002 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 541 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540431667,9783540431664 |
| نوبت چاپ | 1 |
دانلود کتاب 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 |
دانلود کتاب ZUM ’95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
ZUM '95: نماد مشخصات رسمی Z: نهمین کنفرانس بین المللی کاربران Z Limerick، ایرلند، 7 تا 9 سپتامبر 1995 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 583 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 3540602712,9783540602712 |
| نوبت چاپ | 1 |
دانلود کتاب ZUM ’97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings
ZUM '97: نماد مشخصات رسمی Z: دهمین کنفرانس بین المللی خواندن کاربران Z، انگلستان، 3 تا 4 آوریل 1997 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 442 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540627170,9783540627173 |
| نوبت چاپ | 1 |
دانلود کتاب ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings
ZUM '98: نماد مشخصات رسمی Z: یازدهمین کنفرانس بین المللی کاربران Z، برلین، آلمان، 24-26 سپتامبر 1998. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 424 |
| حجم فایل | 11 مگابایت |
| کد کتاب | 3540650709,9783540650706 |
| نوبت چاپ | 1 |