forte
تکنیک های رسمی برای سیستم های توزیع شده: یازدهمین کنفرانس بین المللی مشترک IFIP WG 6.1 FMOODS 2009 و بیست و نهمین کنفرانس بین المللی IFIP WG 6.1 FORTE 2009، لیسبون، پرتغال، 9-12 ژوئن، 2009. مجموعه مقالات
دانلود کتاب Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings (به فارسی: تکنیک های رسمی برای سیستم های توزیع شده: یازدهمین کنفرانس بین المللی مشترک IFIP WG 6.1 FMOODS 2009 و بیست و نهمین کنفرانس بین المللی IFIP WG 6.1 FORTE 2009، لیسبون، پرتغال، 9-12 ژوئن، 2009. مجموعه مقالات) نوشته شده توسط «David Kitchin – Adrian Quark – William Cook – Jayadev Misra (auth.) – David Lee – Antónia Lopes – Arnd Poetzsch-Heffter (eds.)» اطلاعات کتاب تکنیک های رسمی…
تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، 21 conf.، FORTE 2001
دانلود کتاب Formal Techniques for Networked and Distributed Systems, 21 conf., FORTE 2001 (به فارسی: تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، 21 conf.، FORTE 2001) نوشته شده توسط «Myungchul Kim – Byoungmoon Chin – Sungwon Kang – Danhyung Lee» اطلاعات کتاب تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، 21 conf.، FORTE 2001 موضوع اصلی: شبکه سازی نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Myungchul Kim – Byoungmoon Chin – Sungwon Kang – Danhyung Lee زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2001 تعداد صفحه: 472 حجم…
تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده: FORTE 2001: IFIP TC6 WG6.1، بیست و یکمین کنفرانس بین المللی تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، 28-31 اوت، 20 نویسنده: میونگچول کیم
دانلود کتاب Formal techniques for networked and distributed systems: FORTE 2001: IFIP TC6 WG6.1, 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 20Author: Myungchul Kim (به فارسی: تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده: FORTE 2001: IFIP TC6 WG6.1، بیست و یکمین کنفرانس بین المللی تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، 28-31 اوت، 20 نویسنده: میونگچول کیم) نوشته شده توسط «Myungchul Kim – Byoungmoon Chin – Sungwon Kang – Danhyung Lee» اطلاعات کتاب تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده: FORTE 2001:…
تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده– FORTE 2007: بیست و هفتمین کنفرانس بین المللی IFIP WG 6.1، تالین، استونی، 27-29 ژوئن 2007: مجموعه مقالات
دانلود کتاب Formal techniques for networked and distributed systems– FORTE 2007: 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007: proceedings (به فارسی: تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده– FORTE 2007: بیست و هفتمین کنفرانس بین المللی IFIP WG 6.1، تالین، استونی، 27-29 ژوئن 2007: مجموعه مقالات) نوشته شده توسط «John Derrick – Jüri Vain» اطلاعات کتاب تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده– FORTE 2007: بیست و هفتمین کنفرانس بین المللی IFIP WG 6.1، تالین، استونی، 27-29 ژوئن 2007: مجموعه مقالات موضوع اصلی: کنفرانس ها و سمپوزیوم های…