لامابوک
  • صفحه اصلی
  • کتاب‌ها
  • Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

خرید و دانلود نسخه کامل کتاب Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

فناوری خودکار برای تأیید و تحلیل: دومین کنفرانس بین المللی ، ATVA 2004 ، تایپه ، تایوان ، ROC ، 31 اکتبر - 3 نوامبر 2004. مجموعه مقالات

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

نویسنده: Rajeev Alur (auth.), Farn Wang (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2004

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

زبان: English

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

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

112,000 تومان 78,000 تومان