دانلود کتاب Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

دانلود کتاب Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

نویسنده: Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.)

شماره سریال: ۹۷۸۳۵۴۰۷۹۱۲۳۲

ناشر: Springer-Verlag Berlin Heidelberg

سال: ۲۰۰۸

نسخه ناشر (کیفیت اصلی)

purpleribbon save

امتیاز کاربران: (۰.۰) :

حجم فایل

۲.۰۳ مگابایت

تعداد صفحات

۲۰۱.۰

قیمت کتاب: ۷۶,۹۰۰ تومان

توضیحات

معرفی کتاب Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

کتاب Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings نوشته Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.) یکی از آثار مهم در حوزه مربوطه محسوب می‌شود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقه‌مندان به این موضوع بسیار مناسب می‌باشد.

درباره کتاب Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

این اثر با بهره‌گیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار می‌دهد.

دانلود کتاب Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings را از طریق سایت سایبر یونی تجربه کنید.

پرفروشترین کتاب ها
The Designer’s Guide... image
The Designer’s Guide to the Cortex-M Processor Family
نویسنده:

Trevor Martin

سال انتشار:

۲۰۱۶

Computer Science Logic:... image
Computer Science Logic: ۱۷th International Workshop CSL ۲۰۰۳, ۱۲th Annual...
نویسنده:

Parosh Aziz Abdulla,...

سال انتشار:

۲۰۰۳

E-Commerce and Web... image
E-Commerce and Web Technologies: ۹th International Conference, EC-Web ۲۰۰۸ Turin,...
نویسنده:

Gerald Madlmayr, Peter...

سال انتشار:

۲۰۰۸

مشاهده تمامی کتاب ها

نوشتن دیدگاه
CAPTCHA
حذف
دیدگاه های شما دیدگاهی وجود ندارد