دانلود کتاب Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
دسته: شبکه سازی
کتاب تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده - FORTE 2004: بیست و چهارمین کنفرانس بین المللی IFIP WG 6.1، مادرید اسپانیا، 27-30 سپتامبر 2004. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده - FORTE 2004: بیست و چهارمین کنفرانس بین المللی IFIP WG 6.1، مادرید اسپانیا، 27-30 سپتامبر 2004. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
نام کتاب : Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده - FORTE 2004: بیست و چهارمین کنفرانس بین المللی IFIP WG 6.1، مادرید اسپانیا، 27-30 سپتامبر 2004. مجموعه مقالات
سری : Lecture Notes in Computer Science 3235
نویسندگان : Martín Abadi, Ted Wobber (auth.), David de Frutos-Escrig, Manuel Núñez (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2004
تعداد صفحات : 387
ISBN (شابک) : 3540232524 , 9783540232520
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی