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

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

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

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

ناشر: Springer

سال انتشار: 2010

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

زبان: English

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

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