دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
دانلود کتاب نرم افزار تایید شده: نظریه ها، ابزارها، آزمایش ها: سومین کنفرانس بین المللی، VSTTE 2010، ادینبورگ، بریتانیا، 16-19 اوت 2010. مجموعه مقالات
مشخصات کتاب
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
ویرایش: [1 ed.] نویسندگان: Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue (auth.), Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani (eds.) سری: Lecture Notes in Computer Science 6217 : Programming and Software Engineering ISBN (شابک) : 9783642150579, 3642150578 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 217 [225] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 Mb
قیمت کتاب (تومان) : 31,000
در صورت تبدیل فایل کتاب Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار تایید شده: نظریه ها، ابزارها، آزمایش ها: سومین کنفرانس بین المللی، VSTTE 2010، ادینبورگ، بریتانیا، 16-19 اوت 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نرم افزار تایید شده: نظریه ها، ابزارها، آزمایش ها: سومین کنفرانس بین المللی، VSTTE 2010، ادینبورگ، بریتانیا، 16-19 اوت 2010. مجموعه مقالات
این جلد شامل مجموعه مقالات سومین کنفرانس کاری در مورد نرم افزار تایید شده: نظریه ها، ابزارها و آزمایش ها، VSTTE 2010، که در ادینبورگ، انگلستان، در آگوست 2010 برگزار شد. در کتاب. این سومین کنفرانس بخشی از برنامه Verified Software Initiative (VSI) است که یک پروژه بین المللی 15 ساله است که بر چالش های علمی و فنی تولید نرم افزار تایید شده تمرکز دارد. هدف VSTTE 2010 ارتقای وضعیت هنر در علم و فناوری تأیید نرم افزار از طریق تعامل توسعه نظریه، تکامل ابزار و اعتبار سنجی تجربی بود. مقالات پذیرفته شده کار بر روی تکنیک های تأیید، زبان های مشخصات، محاسبات رسمی، ابزارهای تأیید، راه حل های چالش برانگیز، روش های طراحی نرم افزار، اجزای قابل استفاده مجدد، روش های اصلاح و مدل سازی نیازمندی ها را نشان می دهند.
توضیحاتی درمورد کتاب به خارجی
This volume contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. The 11 papers presented together with 3 invited talks were carefully revised and selected for inclusion in the book. This third conference is part of the Verified Software Initiative (VSI), which is a 15 year international project that focuses on the scientific and technical challenges of producing verified software. The goal of VSTTE 2010 was to advance the state of the art in the science and technology of software verification through the interaction of theory development, tool evolution, and experimental validation. The accepted papers represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, software design methods, reusable components, refinement methodologies, and requirements modeling.
