دانلود کتاب فناوری خودکار برای تأیید و تجزیه و تحلیل: چهارمین سمپوزیوم بین المللی، ATVA 2006، پکن، چین، 23-26 اکتبر 2006. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
نام کتاب : Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings
ویرایش : 1 ed.
عنوان ترجمه شده به فارسی : فناوری خودکار برای تأیید و تجزیه و تحلیل: چهارمین سمپوزیوم بین المللی، ATVA 2006، پکن، چین، 23-26 اکتبر 2006. مجموعه مقالات
سری : Lecture Notes in Computer Science 4218 : Programming and Software Engineering
نویسندگان : Mihalis Yannakakis (auth.), Susanne Graf, Wenhui Zhang (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2006
تعداد صفحات : 546
[550]
ISBN (شابک) : 3540472371 , 9783540472377
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 8 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.