دانلود کتاب FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Name: FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Availability: InStock
Author: Michael Carl Tschantz
ISBN: 9783642050886, 9783642050893

by Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.)

عنوان فارسی: FM 2009 : رسمی روش ها: کنگره جهانی دوم ، آیندهوون ، هلند ، نوامبر 2-6، 2009. مجموعه مقالات
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2009
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 820-835
شابک: 9783642050886, 9783642050893
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 15.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in November 2009 in the course of the first International Formal Methods Week, FMWeek 2009.The 45 revised full papers presented together with 5 invited papers and 3 additional papers from the Industry Day were carefully reviewed and selected from 139 submissions. The papers are organized in topical sections on model checking, compositionality, verification, concurrency, refinement, static analysis, theorem proving, semantics, industrial applications, object-orientation, pointers, real-time, tools and industrial applications, and industry-day abstracts.