دانلود کتاب Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
توضیحات
معرفی کتاب Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
کتاب Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings نوشته James R. Larus (auth.), Aarti Gupta, Sharad Malik (eds.) یکی از آثار مهم در حوزه مربوطه محسوب میشود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقهمندان به این موضوع بسیار مناسب میباشد.
درباره کتاب Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
این اثر با بهرهگیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار میدهد.
دانلود کتاب Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings را از طریق سایت سایبر یونی تجربه کنید.
پرفروشترین کتاب ها
Numerical Analysis and Its Applications: ۴th International Conference, NAA ۲۰۰۸,...
نویسنده:
Mikhail V. Borsuk...
سال انتشار:
۲۰۰۹
Supernerds, Conversations with Heroes
نویسنده:
Angela Richter
سال انتشار:
۲۰۱۵
Information Visualization: Perception for Design
نویسنده:
Colin Ware
سال انتشار:
۲۰۰۴
نوشتن دیدگاه
دیدگاه های شما
دیدگاهی وجود ندارد