دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
دانلود کتاب روش‌های رسمی برای سیستم‌های بحرانی صنعتی: دوازدهمین کارگاه بین‌المللی، FMICS 2007، برلین، آلمان، 1-2 ژوئیه، 2007، مقالات منتخب اصلاح شده
مشخصات کتاب
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
ویرایش: [1 ed.] نویسندگان: Charles Pecheur (auth.), Stefan Leue, Pedro Merino (eds.) سری: Lecture Notes in Computer Science 4916 : Programming and Software Engineering ISBN (شابک) : 3540797068, 9783540797067 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 254 [260] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش‌های رسمی برای سیستم‌های بحرانی صنعتی: دوازدهمین کارگاه بین‌المللی، FMICS 2007، برلین، آلمان، 1-2 ژوئیه، 2007، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Bullish Thinking: The Advisors Guide to Surviving and Thriving on Wall Street
دانلود کتاب Human Security And the UN: A Critical History (United Nations Intellectual History Project)
دانلود کتاب Self-intelligence : the new science-based approach for reaching your true potential
دانلود کتاب The Devil's Casino: Friendship, Betrayal, and the High Stakes Games Played Inside Lehman Brothers
