دانلود کتاب Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering)
by Marcel Vinícius Medeiros Oliveira
|
عنوان فارسی: روش های رسمی: مبانی و کاربردها: تاریخ 12th سمپوزیوم برزیل در روش های رسمی، SBMF 2009 Gramado، برزیل، 19-21 اوت، 2009 انتخاب شده تجدید نظر ... / برنامه نویسی و مهندسی نرم افزار) |