دانلود کتاب Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings
توضیحات
معرفی کتاب Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings
کتاب Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings نوشته Edmund M. Clarke Jr. (auth.), Edmund M. Clarke, Robert P. Kurshan (eds.) یکی از آثار مهم در حوزه مربوطه محسوب میشود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقهمندان به این موضوع بسیار مناسب میباشد.
درباره کتاب Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings
این اثر با بهرهگیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار میدهد.
دانلود کتاب Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings را از طریق سایت سایبر یونی تجربه کنید.
پرفروشترین کتاب ها
Introduction to Tornado
نویسنده:
Michael Dory, Adam...
سال انتشار:
۲۰۱۲
Schaum's Outline of Discrete Maths
نویسنده:
Seymor Lipschutz, Marc...
سال انتشار:
۱۹۹۷
Developing Bioinformatics Computer Skills
نویسنده:
Cynthia Gibas, Per...
سال انتشار:
None
نوشتن دیدگاه
دیدگاه های شما
دیدگاهی وجود ندارد