روشهای یکپارچه رسمی: 11th International Conference، IFM 2014، Bertinoro، Italy، 9-11 سپتامبر 2014، پرونده
Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
نویسنده: Elvira Albert, Emil Sekerinski (eds.)
ناشر: Springer International Publishing
سال انتشار: 2014
تعداد صفحات: 390
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 9 مگابایت