خرید و دانلود نسخه کامل کتاب Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

روش ها ، مبانی و برنامه های رسمی: چهاردهمین سمپوزیوم برزیل ، SBMF 2011 ، سائو پائولو ، برزیل ، 26-30 سپتامبر 2011 ، نسخه های تجدید نظر شده

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

نویسنده: Harald König, Michael Löwe (auth.), Adenilso Simao, Carroll Morgan (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2011

تعداد صفحات: 213

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 2 مگابایت