خرید و دانلود نسخه کامل کتاب Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

روش های رسمی: مبانی و کاربردها: پانزدهمین سمپوزیوم برزیل ، SBMF 2012 ، ناتال ، برزیل ، 23 تا 28 سپتامبر 2012. مجموعه مقالات

Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

نویسنده: John Rushby (auth.), Rohit Gheyi, David Naumann (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2012

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

زبان: English

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

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