
Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2011
شابک
9783642198298
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران