دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
دانلود کتاب آزمون ها و شواهد: سیزدهمین کنفرانس بین المللی، TAP 2019، به عنوان بخشی از سومین کنگره جهانی روش های رسمی 2019، پورتو، پرتغال، 9 تا 11 اکتبر 2019، مجموعه مقالات برگزار شد.
مشخصات کتاب
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
ویرایش: [1st ed. 2019]
نویسندگان: Dirk Beyer. Chantal Keller
سری: Lecture Notes in Computer Science 11823
ISBN (شابک) : 9783030311568, 9783030311575
ناشر: Springer International Publishing
سال نشر: 2019
تعداد صفحات: X, 207
[216]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 8 Mb
قیمت کتاب (تومان) : 53,000
در صورت تبدیل فایل کتاب Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب آزمون ها و شواهد: سیزدهمین کنفرانس بین المللی، TAP 2019، به عنوان بخشی از سومین کنگره جهانی روش های رسمی 2019، پورتو، پرتغال، 9 تا 11 اکتبر 2019، مجموعه مقالات برگزار شد. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب آزمون ها و شواهد: سیزدهمین کنفرانس بین المللی، TAP 2019، به عنوان بخشی از سومین کنگره جهانی روش های رسمی 2019، پورتو، پرتغال، 9 تا 11 اکتبر 2019، مجموعه مقالات برگزار شد.
این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بین‌المللی
آزمون‌ها و اثبات‌ها، TAP 2019 است که به عنوان بخشی از سومین
کنگره جهانی روش‌های رسمی 2019، پورتو، پرتغال، در اکتبر 2019
برگزار شد.
10 مقاله معمولی و 2 مقاله دعوت شده ارائه شده در این جلد به
دقت بررسی و از بین 19 مقاله ارسالی انتخاب شدند. کنفرانس TAP
تحقیق در روش های تأیید و رسمی را ترویج می کند که تعامل اثبات
ها و آزمایش ها را هدف قرار می دهد: پیشرفت تکنیک ها از هر نوع
و ترکیب آنها، با هدف نهایی بهبود قابلیت اطمینان نرم افزار و
سیستم.</ p>
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 13th
International Conference on Tests and Proofs, TAP 2019, held
as part of the Third World Congress on Formal Methods 2019,
Porto, Portugal, in October 2019.
The 10 regular papers and 2 invited paper presented in this
volume were carefully reviewed and selected from 19
submissions. The TAP conference promotes research in
verification and formal methods that targets the interplay of
proofs and testing: the advancement of techniques of each
kind and their combination, with the ultimate goal of
improving software and system dependability.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Logical Dynamics of Information and Interaction
دانلود کتاب Assessing the solvency of insurance companies
دانلود کتاب Inequality in Gifted and Talented Programs: Parental Choices About Status, School Opportunity, and Second-Generation Segregation
دانلود کتاب China’s New Urbanization: Developmental Paths, Blueprints and Patterns
