دانلود کتاب 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 تجدید نظر مقالات انتخاب شده |
دانلود کتاب
درباره نویسنده
![](https://upload.wikimedia.org/wikipedia/commons/thumb/3/36/LIGA_vs_SAN_LORENZO_%284%29.jpg/23px-LIGA_vs_SAN_LORENZO_%284%29.jpg)