Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Francesco Logozzo‏ · Doron A. Peled‏ · Leonore D. Zuck‏

اردیبهشت ۲۰۰۸ · Springer

ای-کتاب

325

صفحه‌ها

رده‌بندی‌ها و مرورها به‌تأیید نمی‌رسند. بیشتر بدانید

درباره این ای-کتاب

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.

رده‌بندی این کتاب الکترونیک

نظرات خود را به ما بگویید.

اطلاعات مطالعه

تلفن هوشمند و رایانه لوحی

برنامه «کتاب‌های Google Play» را برای Android و iPad/iPhone بارگیری کنید. به‌طور خودکار با حسابتان همگام‌سازی می‌شود و به شما امکان می‌دهد هر کجا که هستید به‌صورت آنلاین یا آفلاین بخوانید.

رایانه کیفی و رایانه

با استفاده از مرورگر وب رایانه‌تان می‌توانید به کتاب‌های صوتی خریداری‌شده در Google Play گوش دهید.

eReaderها و دستگاه‌های دیگر

برای خواندن در دستگاه‌های جوهر الکترونیکی مانند کتاب‌خوان‌های الکترونیکی Kobo، باید فایل مدنظرتان را بارگیری و به دستگاه منتقل کنید. برای انتقال فایل به کتاب‌خوان‌های الکترونیکی پشتیبانی‌شده، دستورالعمل‌های کامل مرکز راهنمایی را دنبال کنید.

گزارش محتوای غیرقانونی