خرید و دانلود نسخه کامل کتاب Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

نرم افزار تأیید شده: نظریه ها ، ابزارها و آزمایش ها: ششمین کنفرانس بین المللی ، VSTTE 2014 ، وین ، اتریش ، 17-18 ژوئیه 2014 ، نسخه های تجدید نظر شده

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

نویسنده: Dimitra Giannakopoulou, Daniel Kroening (eds.)

ناشر: Springer International Publishing

سال انتشار: 2014

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

زبان: English

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

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