دانلود کتاب Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings
توضیحات
معرفی کتاب Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings
کتاب Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings نوشته Robert K. Brayton (auth.), Costas Courcoubetis (eds.) یکی از آثار مهم در حوزه مربوطه محسوب میشود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقهمندان به این موضوع بسیار مناسب میباشد.
درباره کتاب Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings
این اثر با بهرهگیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار میدهد.
دانلود کتاب Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings را از طریق سایت سایبر یونی تجربه کنید.
پرفروشترین کتاب ها
۳D Mesh Processing and Character Animation: With Examples Using OpenGL,...
نویسنده:
Ramakrishnan Mukundan
سال انتشار:
۲۰۲۲
Moj Mikro jun ۱۹۸۸
نویسنده:
ČGP Delo
سال انتشار:
۱۹۸۸
Digital Design
نویسنده:
M. Morris Mano
سال انتشار:
۲۰۰۱
نوشتن دیدگاه
دیدگاه های شما
دیدگاهی وجود ندارد