دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings
دانلود کتاب تأیید به کمک رایانه: ششمین کنفرانس بین المللی، CAV '94 استنفورد، کالیفرنیا، ایالات متحده، 21 تا 23 ژوئن 1994 مجموعه مقالات
مشخصات کتاب
Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings
ویرایش: [1 ed.] نویسندگان: Rajeev Alur, Limor Fix, Thomas A. Henzinger (auth.), David L. Dill (eds.) سری: Lecture Notes in Computer Science 818 ISBN (شابک) : 3540581790, 9783540581796 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1994 تعداد صفحات: 486 [490] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 46,000
در صورت تبدیل فایل کتاب Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید به کمک رایانه: ششمین کنفرانس بین المللی، CAV '94 استنفورد، کالیفرنیا، ایالات متحده، 21 تا 23 ژوئن 1994 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید به کمک رایانه: ششمین کنفرانس بین المللی، CAV '94 استنفورد، کالیفرنیا، ایالات متحده، 21 تا 23 ژوئن 1994 مجموعه مقالات
این جلد شامل مجموعه مقالات ششمین کنفرانس تأیید به کمک رایانه است که در دانشگاه استنفورد در ژوئن 1994 برگزار شد. در مجموع 37 مقاله ارائه شده در یک فرآیند بررسی رقابتی از 121 مقاله ارسالی انتخاب شدند. در مجموع، آنها بسیاری از مهم‌ترین پیشرفت‌های به‌دست‌آمده در تحقیقات و کاربردهای CAV را از کنفرانس قبلی که در ژوئن 1993 برگزار شد، مستند می‌کنند. سیستم ها، بررسی مدل، بهبود کارایی، و تأیید سخت افزار.
توضیحاتی درمورد کتاب به خارجی
This volume contains the proceedings of the 6th Conference on
Computer Aided Verification, held at Stanford University in
June 1994. The in total 37 included papers were selected in a
highly competetive reviewing process from 121 submissions; in
total they document many of the most important advances
achieved in CAV research and applications since the
predecessor conference held in June 1993.
The volume is organized in sections on Real-Time Systems, CAV
Theory, CAV Applications, Symbolic Verification, Hybrid
Systems, Model Checking, Improving Efficiency, and Hardware
Verification.
