دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
دانلود کتاب فناوری خودکار برای تأیید و تجزیه و تحلیل: هفدهمین سمپوزیوم بین المللی، ATVA 2019، تایپه، تایوان، 28 تا 31 اکتبر 2019، مجموعه مقالات
مشخصات کتاب
Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
ویرایش: [1st ed. 2019] نویسندگان: Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza سری: Lecture Notes in Computer Science 11781 ISBN (شابک) : 9783030317836, 9783030317843 ناشر: Springer International Publishing سال نشر: 2019 تعداد صفحات: XI, 552 [551] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 20 Mb
قیمت کتاب (تومان) : 33,000
در صورت تبدیل فایل کتاب Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب فناوری خودکار برای تأیید و تجزیه و تحلیل: هفدهمین سمپوزیوم بین المللی، ATVA 2019، تایپه، تایوان، 28 تا 31 اکتبر 2019، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب فناوری خودکار برای تأیید و تجزیه و تحلیل: هفدهمین سمپوزیوم بین المللی، ATVA 2019، تایپه، تایوان، 28 تا 31 اکتبر 2019، مجموعه مقالات
این کتاب مجموعه مقالات داوری هفدهمین سمپوزیوم بین المللی
فناوری خودکار برای تأیید و تجزیه و تحلیل، ATVA 2019 است که در
اکتبر 2019 در تایپه، تایوان برگزار شد.
24 مقاله معمولی همراه با 3 مقاله ابزار ارائه شده است. از بین
65 مورد ارسالی به دقت بررسی و انتخاب شدند.
این سمپوزیوم به ترویج پژوهش در جنبه‌های نظری و عملی تجزیه و
تحلیل، تأیید و ترکیب خودکار از طریق ایجاد یک انجمن برای تعامل
بین جوامع تحقیقاتی منطقه‌ای و بین‌المللی و صنعت در این زمینه
اختصاص دارد. این مقالات بر روی سیستم‌های فیزیکی-سایبری تمرکز
دارند. تکنیک های زمان اجرا؛ آزمایش کردن؛ خودکار؛ سنتز؛ سیستم
های تصادفی و بررسی مدل.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 17th
International Symposium on Automated Technology for
Verification and Analysis, ATVA 2019, held in Taipei, Taiwan
in October 2019.
The 24 regular papers presented together with 3 tool papers
were carefully reviewed and selected from 65
submissions.
The symposium is dedicated to the promotion of research on
theoretical and practical aspects of automated analysis,
verification and synthesis by providing a forum for
interaction between the regional and the international
research communities and industry in the field. The papers
focus on cyber-physical systems; runtime techniques; testing;
automata; synthesis; stochastic systems and model checking.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Korruption in kommunalen Verwaltungen: Ein kriminologischer Beitrag zur Verwaltungswissenschaft
