کامپیوترها

تأیید به کمک رایانه: سیزدهمین کنفرانس بین المللی، CAV 2001 پاریس، فرانسه، 18 تا 22 ژوئیه، 2001 مجموعه مقالات

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

دانلود کتاب Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings (به فارسی: تأیید به کمک رایانه: سیزدهمین کنفرانس بین المللی، CAV 2001 پاریس، فرانسه، 18 تا 22 ژوئیه، 2001 مجموعه مقالات) نوشته شده توسط «David Lorge Parnas (auth.) – Gérard Berry – Hubert Comon – Alain Finkel (eds.)»


اطلاعات کتاب تأیید به کمک رایانه: سیزدهمین کنفرانس بین المللی، CAV 2001 پاریس، فرانسه، 18 تا 22 ژوئیه، 2001 مجموعه مقالات

موضوع اصلی: کامپیوترها

نوع: کتاب الکترونیکی

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: David Lorge Parnas (auth.) – Gérard Berry – Hubert Comon – Alain Finkel (eds.)

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2001

تعداد صفحه: 522

حجم کتاب: 5 مگابایت

کد کتاب: 3540423451 , 9783540423454

نوبت چاپ: 1

توضیحات کتاب تأیید به کمک رایانه: سیزدهمین کنفرانس بین المللی، CAV 2001 پاریس، فرانسه، 18 تا 22 ژوئیه، 2001 مجموعه مقالات

این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بین‌المللی تأیید با کمک رایانه، CAV 2001، که در پاریس، فرانسه در ژوئیه 2001 برگزار شد، تشکیل می‌شود. همچنین شامل 13 ارائه ابزار بررسی شده است که از 27 مورد ارسالی انتخاب شده اند. این کتاب بخش‌های موضوعی در بررسی مدل و اثبات قضیه، تکنیک‌های خودکار، فناوری هسته تأیید، BDD و درخت‌های تصمیم، انتزاع و پالایش، ترکیب‌ها، سیستم‌های حالت بی‌نهایت، منطق‌ها و تأیید زمانی، تأیید ریزپردازنده و انسجام حافظه پنهان، SAT و برنامه‌ها، و اتومات های زمان دار


This book constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July 2001.
The 33 revised full papers presented were carefully reviewed and selected from 106 regular paper submissions; also included are 13 reviewed tool presentations selected from 27 submissions. The book offers topical sections on model checking and theorem proving, automata techniques, verification core technology, BDD and decision trees, abstraction and refinement, combinations, infinite state systems, temporal logics and verification, microprocessor verification and cache coherence, SAT and applications, and timed automata.

دانلود کتاب «تأیید به کمک رایانه: سیزدهمین کنفرانس بین المللی، CAV 2001 پاریس، فرانسه، 18 تا 22 ژوئیه، 2001 مجموعه مقالات»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.