دانلود کتاب Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
by Nicolas Blanc
|
عنوان فارسی: روش های رسمی: مبانی و کاربردها: سمپوزیوم تاریخ 12th برزیل در روش های رسمی، SBMF 2009 Gramado، برزیل، 19-21 اوت، 2009 تجدید نظر مقالات انتخاب شده |