دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings
دانلود کتاب FME '94: مزایای صنعتی روش های رسمی: دومین سمپوزیوم بین المللی روش های رسمی اروپا بارسلون، اسپانیا، 24 تا 28 اکتبر 1994 مجموعه مقالات
مشخصات کتاب
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings
ویرایش: [1 ed.] نویسندگان: R. J. R. Back, K. Sere (auth.), Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.) سری: Lecture Notes in Computer Science 873 ISBN (شابک) : 3540585559, 9783540585558 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1994 تعداد صفحات: 732 [735] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 63,000
در صورت تبدیل فایل کتاب FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب FME '94: مزایای صنعتی روش های رسمی: دومین سمپوزیوم بین المللی روش های رسمی اروپا بارسلون، اسپانیا، 24 تا 28 اکتبر 1994 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب FME '94: مزایای صنعتی روش های رسمی: دومین سمپوزیوم بین المللی روش های رسمی اروپا بارسلون، اسپانیا، 24 تا 28 اکتبر 1994 مجموعه مقالات
این جلد مجموعه مقالات دومین سمپوزیوم بینالمللی روشهای رسمی
اروپا را ارائه میکند که در بارسلونا، اسپانیا در اکتبر 1994
برگزار شد.
علاوه بر دو مقاله دعوت شده و هفت گزارش استفاده صنعتی، 32
مقاله کامل از حدود 150 مقاله ارسالی انتخاب شده است. .
گزارشهای استفاده صنعتی تجربیات عملی را در زمینههای مختلف از
جمله سیستمهای امنیتی و سیگنالدهی راهآهن توصیف میکنند.
موضوعات مقالات پژوهشی شامل پالایش، اثبات، مدلسازی فرآیند،
مشخص کردن زبانهای برنامهنویسی، بررسی مدل، جنبههای بلادرنگ،
و ترکیب روشهای رسمی و سیستماتیک است. این مشارکتها پایههای
روشهای رسمی را پیش میبرد و ارزش عملی آنها را نشان میدهد.
توضیحاتی درمورد کتاب به خارجی
This volume presents the proceedings of the Second
International Symposium of Formal Methods Europe, held in
Barcelona, Spain in October 1994.
Besides two invited papers and seven industrial usage
reports, there are 32 full papers selected from some 150
submissions. The industrial usage reports describe practical
experiences in a variety of areas including security systems
and railway signalling. The subjects of the research papers
include refinement, proof, process modelling, specification
of programming languages, model checking, real-time aspects,
and the combination of formal and systematic methods; these
contributions advance the foundations of formal methods and
demonstrate their practical value.
