خرید و دانلود نسخه کامل کتاب Formal Methods: State of the Art and New Directions

روشهای رسمی: حالت هنر و جهت های جدید

Formal Methods: State of the Art and New Directions

نویسنده: Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

ناشر: Springer-Verlag London

سال انتشار: 2010

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

زبان: English

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

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