دانلود کتاب Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
کتاب نرم افزار تایید شده نظریه‌ها، ابزارها و آزمایش‌ها: هشتمین کنفرانس بین‌المللی، VSTTE 2016، تورنتو، ON، کانادا، 17-18 ژوئیه، 2016، مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب نرم افزار تایید شده نظریه‌ها، ابزارها و آزمایش‌ها: هشتمین کنفرانس بین‌المللی، VSTTE 2016، تورنتو، ON، کانادا، 17-18 ژوئیه، 2016، مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
نام کتاب : Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : نرم افزار تایید شده نظریه‌ها، ابزارها و آزمایش‌ها: هشتمین کنفرانس بین‌المللی، VSTTE 2016، تورنتو، ON، کانادا، 17-18 ژوئیه، 2016، مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 9971
نویسندگان : Sandrine Blazy, Marsha Chechik (eds.)
ناشر : Springer International Publishing
سال نشر : 2016
تعداد صفحات : 212
ISBN (شابک) : 9783319488691 , 9783319488684
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 6 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این جلد، مجموعه مقالات پس از کنفرانس هشتمین کنفرانس بین‌المللی نرم‌افزار تأیید شده: نظریه‌ها، ابزارها و آزمایش‌ها، VSTTE 2016 است که در ژوئیه 2016 در تورنتو، ON، کانادا برگزار شد.
8 مقاله کامل همراه با 4 مقاله کوتاه و 5 مقاله دعوت شده ارائه شده به دقت بازنگری شد و 21 مقاله ارسالی انتخاب شد. هدف کنفرانس VSTTE ارتقای سطح هنر از طریق تعامل توسعه نظریه، تکامل ابزار و اعتبارسنجی تجربی است.
توضیحاتی در مورد کتاب به زبان اصلی :
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.
The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions. The goal of the VSTTE conference is to advance thestate of the art through the interaction of theory development, tool evolution, and experimental validation.
پست ها تصادفی