دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Bernard Boigelot, Patrice Godefroid (auth.), Rajeev Alur, Thomas A. Henzinger (eds.) سری: Lecture Notes in Computer Science 1102 ISBN (شابک) : 3540614745, 9783540614746 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 479 [483] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
در صورت تبدیل فایل کتاب Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید به کمک رایانه: هشتمین کنفرانس بین المللی، CAV '96 نیوبرانزویک، نیوجرسی، ایالات متحده، 31 ژوئیه تا 3 اوت 1996 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری هشتمین کنفرانس بینالمللی تأیید
به کمک رایانه، CAV '96، در نیوبرانزویک، نیوجرسی، ایالات متحده
آمریکا، در ژوئیه/آگوست 1996 به عنوان بخشی از کنفرانس فدراسیون
FLoC '96 است.
این جلد 32 مشارکت تحقیق کامل اصلاح شده را ارائه میکند که از
مجموع 93 مورد ارسالی انتخاب شدهاند. همچنین شامل 20 توصیف با
دقت انتخاب شده از ابزارها و مطالعات موردی است. مجموعه مقالات
جدیدترین تئوری و عمل روشهای تحلیل رسمی به کمک رایانه برای
سیستم های نرم افزاری و سخت افزاری را گزارش می دهد. تأکید خاصی
بر ابزارهای تأیید و الگوریتمها و تکنیکهایی است که برای
اجرای آنها لازم است.
This book constitutes the refereed proceedings of the 8th
International Conference on Computer Aided Verification, CAV
'96, held in New Brunswick, NJ, USA, in July/August 1996 as
part of the FLoC '96 federated conference.
The volume presents 32 revised full research contributions
selected from a total of 93 submissions; also included are 20
carefully selected descriptions of tools and case studies.
The set of papers reports the state-of-the-art of the theory
and practice of computer assisted formal analysis methods for
software and hardware systems; a certain emphasis is placed
on verification tools and the algorithms and techniques that
are needed for their implementation.