خرید و دانلود نسخه کامل کتاب Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science, 4590)

تأیید صحت رایانه: نوزدهمین کنفرانس بین المللی ، CAV 2007 ، برلین ، آلمان ، 3-7 ژوئیه 2007 ، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر ، 4590)

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science, 4590)

نویسنده: Werner Damm (editor), Holger Hermanns (editor)

ناشر: Springer

سال انتشار: 2007

تعداد صفحات: 576

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 13 مگابایت