خرید و دانلود نسخه کامل کتاب Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... I (Lecture Notes in Computer Science, 6415)

استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی: چهارمین سمپوزیوم بین المللی در مورد استفاده از برنامه های کاربردی، ISoLA 2010، ... I (یادداشت های سخنرانی در علوم کامپیوتر، 6415)

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... I (Lecture Notes in Computer Science, 6415)

نویسنده: Tiziana Margaria (editor), Bernhard Steffen (editor)

ناشر: Springer

سال انتشار: 2010

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

زبان: English

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

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