دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
دانلود کتاب نرم‌افزار تایید شده: نظریه‌ها، ابزارها و آزمایش‌ها: هفتمین کنفرانس بین‌المللی، VSTTE 2015، سانفرانسیسکو، کالیفرنیا، ایالات متحده آمریکا، 18 تا 19 ژوئیه، 2015. مقالات منتخب اصلاح شده
مشخصات کتاب
Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
ویرایش: 1
نویسندگان: Arie Gurfinkel. Sanjit A. Seshia (eds.)
سری: Lecture Notes in Computer Science 9593
ISBN (شابک) : 9783319296128, 9783319296135
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 232
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب نرم‌افزار تایید شده: نظریه‌ها، ابزارها و آزمایش‌ها: هفتمین کنفرانس بین‌المللی، VSTTE 2015، سانفرانسیسکو، کالیفرنیا، ایالات متحده آمریکا، 18 تا 19 ژوئیه، 2015. مقالات منتخب اصلاح شده: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم‌افزار تایید شده: نظریه‌ها، ابزارها و آزمایش‌ها: هفتمین کنفرانس بین‌المللی، VSTTE 2015، سانفرانسیسکو، کالیفرنیا، ایالات متحده آمریکا، 18 تا 19 ژوئیه، 2015. مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نرم‌افزار تایید شده: نظریه‌ها، ابزارها و آزمایش‌ها: هفتمین کنفرانس بین‌المللی، VSTTE 2015، سانفرانسیسکو، کالیفرنیا، ایالات متحده آمریکا، 18 تا 19 ژوئیه، 2015. مقالات منتخب اصلاح شده
این جلد مجموعه مقالات پس از کنفرانس با داوری کامل هفتمین
کنفرانس بین‌المللی نرم‌افزار تأیید شده: نظریه‌ها، ابزارها و
آزمایش‌ها، VSTTE 2015 است که در ژوئیه 2015 در سانفرانسیسکو،
کالیفرنیا، ایالات متحده برگزار شد.
توضیحاتی درمورد کتاب به خارجی
This volume constitutes the thoroughly refereed
post-conference proceedings of the 7th International
Conference on Verified Software: Theories, Tools and
Experiments, VSTTE 2015, held in July 2015 in San Francisco,
CA, USA.
فهرست مطالب
Front Matter....Pages I-IX
A Proof-Sensitive Approach for Small Propositional Interpolants....Pages 1-18
Recursive Games for Compositional Program Synthesis....Pages 19-39
Testing the IPC Protocol for a Real-Time Operating System....Pages 40-60
Pseudo-Random Number Generator Verification: A Case Study....Pages 61-72
Inside a Verified Flash File System: Transactions and Garbage Collection....Pages 73-93
How to Avoid Proving the Absence of Integer Overflows....Pages 94-109
Machine-Checked Proofs for Realizability Checking Algorithms....Pages 110-123
Dynamic Frames Based Verification Method for Concurrent Java Programs....Pages 124-141
A Simpler Reduction Theorem for x86-TSO....Pages 142-164
Moving Around: Lipton’s Reduction for TSO....Pages 165-182
Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover....Pages 183-201
AUSPICE: Automatic Safety Property Verification for Unmodified Executables....Pages 202-222
Back Matter....Pages 223-223
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Studio per il pianoforte Op.50 (Études/Studies for Piano Solo)
دانلود کتاب Unser Hitler. Die Österreicher und ihr Landsmann
دانلود کتاب 饑荒政治：毛時代中國與蘇聯的比較研究
دانلود کتاب Extractables and Leachables for Pharmaceutical Products 2010 14-15 September 2010 London, UK 3rd International Conference
