دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 ، مقالات منتخب بازبینی شده
مشخصات کتاب
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
ویرایش: [1 ed.]
نویسندگان: Sandrine Blazy. Marsha Chechik (eds.)
سری: Lecture Notes in Computer Science 9971
ISBN (شابک) : 9783319488684, 9783319488691
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: XIV, 199
[212]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 Mb
قیمت کتاب (تومان) : 51,000
در صورت تبدیل فایل کتاب Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار تأیید شده نظریه ها ، ابزارها و آزمایشات: هشتمین کنفرانس بین المللی ، VSTTE 2016 ، تورنتو ، ON ، کانادا ، 17 تا 18 ژوئیه 2016 ، مقالات منتخب بازبینی شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نرم افزار تأیید شده نظریه ها ، ابزارها و آزمایشات: هشتمین کنفرانس بین المللی ، VSTTE 2016 ، تورنتو ، ON ، کانادا ، 17 تا 18 ژوئیه 2016 ، مقالات منتخب بازبینی شده
این جلد، مجموعه مقالات پس از کنفرانس هشتمین کنفرانس
بین‌المللی نرم‌افزار تأیید شده: نظریه‌ها، ابزارها و
آزمایش‌ها، 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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Book of Urizen / Книга Уризена (иллюминированная книга)
دانلود کتاب A Ration Book Childhood
دانلود کتاب Keto Meal Prep by FlavCity 125+ Low Carb Recipes That Actually Taste Good
