کتاب الکترونیکی

فناوری خودکار برای تأیید و تجزیه و تحلیل: پنجمین سمپوزیوم بین المللی، ATVA 2007 توکیو، ژاپن، 22 تا 25 اکتبر، 2007 مجموعه مقالات

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

دانلود کتاب Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings (به فارسی: فناوری خودکار برای تأیید و تجزیه و تحلیل: پنجمین سمپوزیوم بین المللی، ATVA 2007 توکیو، ژاپن، 22 تا 25 اکتبر، 2007 مجموعه مقالات) نوشته شده توسط «Nathan Whitehead – Jordan Johnson – Martín Abadi (auth.) – Kedar S. Namjoshi – Tomohiro Yoneda – Teruo Higashino – Yoshio Okamura (eds.)»

اطلاعات کتاب فناوری خودکار برای تأیید و تجزیه و تحلیل: پنجمین سمپوزیوم بین المللی، ATVA 2007 توکیو، ژاپن، 22 تا 25 اکتبر، 2007 مجموعه مقالات

موضوع اصلی: تحلیل و بررسی

نوع: کتاب الکترونیکی

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: Nathan Whitehead – Jordan Johnson – Martín Abadi (auth.) – Kedar S. Namjoshi – Tomohiro Yoneda – Teruo Higashino – Yoshio Okamura (eds.)

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2007

تعداد صفحه: 570

حجم کتاب: 7 مگابایت

کد کتاب: 3540755950 , 9783540755951

نوبت چاپ: 1

توضیحات کتاب فناوری خودکار برای تأیید و تجزیه و تحلیل: پنجمین سمپوزیوم بین المللی، ATVA 2007 توکیو، ژاپن، 22 تا 25 اکتبر، 2007 مجموعه مقالات

این کتاب مجموعه مقالات داوری پنجمین سمپوزیوم بین‌المللی فناوری خودکار برای تأیید و تجزیه و تحلیل، ATVA 2007، برگزار شده در توکیو، ژاپن، 22 تا 25 اکتبر 2007 است. از بین 88 ارسال انتخاب شده است. این مقالات به روش‌های نظری برای دستیابی به سیستم‌های نرم‌افزاری یا سخت‌افزاری صحیح، از جمله جنبه‌های کاربردی و غیرعملکردی می‌پردازند. همچنین کاربردهای تئوری در روش های مهندسی و حوزه های خاص و رسیدگی به مسائل عملی موجود در ابزارها.

This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007.The 29 revised full papers presented together with 7 short papers were carefully reviewed and selected from 88 submissions. The papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.

دانلود کتاب «فناوری خودکار برای تأیید و تجزیه و تحلیل: پنجمین سمپوزیوم بین المللی، ATVA 2007 توکیو، ژاپن، 22 تا 25 اکتبر، 2007 مجموعه مقالات»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان