دانلود کتاب Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
کتاب روش‌های رسمی: مبانی و کاربردها: سیزدهمین سمپوزیوم برزیل در روش‌های رسمی، SBMF 2010، ناتال، برزیل، 8-11 نوامبر 2010، مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب روش‌های رسمی: مبانی و کاربردها: سیزدهمین سمپوزیوم برزیل در روش‌های رسمی، SBMF 2010، ناتال، برزیل، 8-11 نوامبر 2010، مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
نام کتاب : Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : روش‌های رسمی: مبانی و کاربردها: سیزدهمین سمپوزیوم برزیل در روش‌های رسمی، SBMF 2010، ناتال، برزیل، 8-11 نوامبر 2010، مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 6527
نویسندگان : Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2011
تعداد صفحات : 301
ISBN (شابک) : 3642198287 , 9783642198281
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.