دانلود کتاب NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
کتاب روش‌های رسمی ناسا: پنجمین سمپوزیوم بین‌المللی، NFM 2013، Moffett Field، CA، ایالات متحده آمریکا، 14-16 مه 2013. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب روش‌های رسمی ناسا: پنجمین سمپوزیوم بین‌المللی، NFM 2013، Moffett Field، CA، ایالات متحده آمریکا، 14-16 مه 2013. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
نام کتاب : NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : روش‌های رسمی ناسا: پنجمین سمپوزیوم بین‌المللی، NFM 2013، Moffett Field، CA، ایالات متحده آمریکا، 14-16 مه 2013. مجموعه مقالات
سری : Lecture Notes in Computer Science 7871
نویسندگان : Petr Ročkai, Jiří Barnat, Luboš Brim (auth.), Guillaume Brat, Neha Rungta, Arnaud Venet (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2013
تعداد صفحات : 504
ISBN (شابک) : 9783642380877 , 9783642380884
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 8 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی