دانلود کتاب Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
توضیحات
معرفی کتاب Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
کتاب Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings نوشته David Basin, Felix Klaedtke, Samuel Müller (auth.), Tayssir Touili, Byron Cook, Paul Jackson (eds.) یکی از آثار مهم در حوزه مربوطه محسوب میشود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقهمندان به این موضوع بسیار مناسب میباشد.
درباره کتاب Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
این اثر با بهرهگیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار میدهد.
دانلود کتاب Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings را از طریق سایت سایبر یونی تجربه کنید.
پرفروشترین کتاب ها
Network Security: A Practical Guide (Computer Weekly Professional)
نویسنده:
Owen Poole
سال انتشار:
۲۰۰۲
Typografie kompakt: Vom richtigen Umgang mit Schrift am Computer, ۲....
نویسنده:
Max Bollwage
سال انتشار:
۲۰۰۵
Complete CompTIA A+ Guide to IT Hardware and Software
نویسنده:
Cheryl A. Schmidt
سال انتشار:
۲۰۱۶
نوشتن دیدگاه
دیدگاه های شما
دیدگاهی وجود ندارد