دانلود کتاب Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
دانلود کتاب Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
دانلود کتاب Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
روش های رسمی برای اجزا و اشیاء: اولین سمپوزیوم بین المللی، FMCO 2002، لیدن، هلند، 5-8 نوامبر 2002، سخنرانی های تجدید نظر شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 512 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540203036,9783540203032 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
روش های رسمی برای اجزا و اشیاء: دومین سمپوزیوم بین المللی، FMCO 2003، لیدن، هلند، 4-7 نوامبر 2003. سخنرانی های تجدید نظر شده
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 371 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 3540229426,9783540229421,9783540301011 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures
روش های رسمی برای اجزا و اشیاء: سومین سمپوزیوم بین المللی، FMCO 2004، لیدن، هلند، 2 تا 5 نوامبر 2004، سخنرانی های تجدید نظر شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 328 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540291318,9783540291312 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
روش های رسمی برای سیستم های توزیع شده مبتنی بر شی باز: نهمین کنفرانس بین المللی IFIP WG 6.1، FMOODS 2007، پافوس، قبرس، 6-8 ژوئن 2007. مجموعه مقالات
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 317 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540729194,9783540729198 |
| نوبت چاپ | 1 |