دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
دانلود کتاب تأیید رایانه: بیست و چهارمین کنفرانس بین المللی ، CAV 2012 ، برکلی ، کالیفرنیا ، ایالات متحده ، 7-13 ژوئیه ، 2012 مجموعه مقالات
مشخصات کتاب
Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
ویرایش: [1 ed.] نویسندگان: Wolfgang Thomas (auth.), P. Madhusudan, Sanjit A. Seshia (eds.) سری: Lecture Notes in Computer Science 7358 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642314230, 3642314236 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 789 [804] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 11 Mb
قیمت کتاب (تومان) : 88,000
در صورت تبدیل فایل کتاب Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید رایانه: بیست و چهارمین کنفرانس بین المللی ، CAV 2012 ، برکلی ، کالیفرنیا ، ایالات متحده ، 7-13 ژوئیه ، 2012 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید رایانه: بیست و چهارمین کنفرانس بین المللی ، CAV 2012 ، برکلی ، کالیفرنیا ، ایالات متحده ، 7-13 ژوئیه ، 2012 مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و چهارمین کنفرانس بینالمللی تأیید به کمک رایانه، CAV 2012، در برکلی، کالیفرنیا، ایالات متحده آمریکا در ژوئیه 2012 است. مقالات در بخش های موضوعی در مورد اتومات و سنتز، استنتاج و خاتمه استقرایی، انتزاع، همزمانی و تأیید نرم افزار، زیست شناسی و سیستم های احتمالی، سیستم های تعبیه شده و کنترل، حل SAT/SMT و تأیید مبتنی بر SMT، سیستم های زمان بندی شده و ترکیبی، سخت افزار سازماندهی شده اند. تأیید، امنیت، تأیید و ترکیب، و نمایش ابزار.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Interior Point Methods of Mathematical Programming
دانلود کتاب Punk Pedagogies : Music, Culture and Learning
دانلود کتاب Global Forum on Transparency and Exchange of Information for Tax Purposes : Phase 1: Legal and Regulatory Framework.
