دانلود کتاب Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

Name: Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings
Availability: InStock
Author: Anthony Hall (auth.)
ISBN: 9783540297970, 9783540322504

by Anthony Hall (auth.)

عنوان فارسی: روش های رسمی و مهندسی نرم افزار: 7 کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2005، منچستر، بریتانیا، نوامبر 1-4، 2005. مجموعه مقالات
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2005
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 502-508
شابک: 9783540297970, 9783540322504
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 6.00 مگابایت

گزارش تخلف

دانلود کتاب

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

جزییات کتاب

This book constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005.The 30 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 74 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, communication, development, testing, verification, and tools.

گزارش اشکال ⚠