دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings
دانلود کتاب تأیید به کمک رایانه: دهمین کنفرانس بین المللی، CAV'98 ونکوور، BC، کانادا، 28 ژوئن – 2 ژوئیه 1998 مجموعه مقالات
مشخصات کتاب
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings
ویرایش: [1 ed.] نویسندگان: Nicolas Halbwachs (auth.), Alan J. Hu, Moshe Y. Vardi (eds.) سری: Lecture Notes in Computer Science 1427 ISBN (شابک) : 3540646086, 9783540646082 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1998 تعداد صفحات: 552 [562] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 65,000
در صورت تبدیل فایل کتاب Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید به کمک رایانه: دهمین کنفرانس بین المللی، CAV'98 ونکوور، BC، کانادا، 28 ژوئن – 2 ژوئیه 1998 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید به کمک رایانه: دهمین کنفرانس بین المللی، CAV'98 ونکوور، BC، کانادا، 28 ژوئن – 2 ژوئیه 1998 مجموعه مقالات
این کتاب شامل مجموعه مقالات داوری دهمین کنفرانس بینالمللی تأیید به کمک رایانه، CAV'98 است که در ونکوور، بریتیش کلمبیا، کانادا، در ژوئن/ژوئیه 1998 برگزار شد. 33 مقاله کامل اصلاحشده و 10 مقاله ابزار ارائه شده با دقت انتخاب شدند. از مجموع 117 ارسال. همچنین شامل 11 مشارکت دعوت شده است. در میان موضوعات تحت پوشش، فرمالیسم های مدل سازی و مشخصات است. تکنیکهای راستیآزمایی مانند کاوش فضای حالت، بررسی مدل، سنتز و کسر خودکار؛ تکنیک های مختلف تأیید؛ برنامه های کاربردی و مطالعات موردی، و تأیید در عمل.
توضیحاتی درمورد کتاب به خارجی
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Higher Education, Language and New Nationalism in Finland: Recycled Histories
دانلود کتاب Éramos unos niños
دانلود کتاب A árvore do dinheiro: Guia para cultivar a sua independência financeira
دانلود کتاب The Brontës and Religion
