دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings
دانلود کتاب FME'96: مزایای صنعتی و پیشرفت در روش‌های رسمی: سومین سمپوزیوم بین‌المللی روش‌های رسمی اروپا با حمایت مالی مشترک IFIP WG 14.3 آکسفورد، بریتانیا، 18 تا 22 مارس، 1996 مجموعه مقالات
مشخصات کتاب
FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings
ویرایش: [1 ed.] نویسندگان: C. A. R. Hoare (auth.), Marie-Claude Gaudel, James Woodcock (eds.) سری: Lecture Notes in Computer Science 1051 ISBN (شابک) : 3540609733, 9783540609735 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 711 [700] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 46,000
در صورت تبدیل فایل کتاب FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب FME'96: مزایای صنعتی و پیشرفت در روش‌های رسمی: سومین سمپوزیوم بین‌المللی روش‌های رسمی اروپا با حمایت مالی مشترک IFIP WG 14.3 آکسفورد، بریتانیا، 18 تا 22 مارس، 1996 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب FME'96: مزایای صنعتی و پیشرفت در روش‌های رسمی: سومین سمپوزیوم بین‌المللی روش‌های رسمی اروپا با حمایت مالی مشترک IFIP WG 14.3 آکسفورد، بریتانیا، 18 تا 22 مارس، 1996 مجموعه مقالات
این کتاب مقالات داوری سومین سمپوزیوم بین‌المللی روش‌های رسمی
اروپا، FME '96، برگزار شده در آکسفورد، انگلستان، در مارس 1996
را ارائه می‌کند. FME '96 توسط IFIP WG 14.3 حمایت شده و به «
کاربرد و مزایای صنعتی روش‌های رسمی، افق‌های جدید و پایه‌های
مستحکم آن‌ها را نشان داد.
35 مقاله اصلاح‌شده کامل شامل 103 مقاله ارسالی انتخاب شدند.
همچنین شامل سه مقاله دعوت شده است. این کتاب به تمام جنبه‌های
مرتبط روش‌های رسمی، از دیدگاه متخصصان تحقیق و توسعه صنعتی و
همچنین از دیدگاه دانشگاهی می‌پردازد و پیشرفت چشمگیر در
استفاده از روش‌های رسمی برای حل مشکلات دنیای واقعی را به‌طور
چشمگیری مستند می‌کند. .
توضیحاتی درمورد کتاب به خارجی
This book presents the refereed proceedings of the Third
International Symposium of Formal Methods Europe, FME '96,
held in Oxford, UK, in March 1996. FME '96 was co-sponsored
by IFIP WG 14.3 and devoted to "the application and
demonstrated industrial benefit of formal methods, their new
horizons and strengthened foundations".
The 35 full revised papers included were selected from a
total of 103 submissions; also included are three invited
papers. The book addresses all relevant aspects of formal
methods, from the point of view of the industrial R & D
professional as well as from the academic viewpoint, and
impressively documents the significant progress in the use of
formal methods for the solution of real-world problems.
