دانلود کتاب Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
توضیحات
معرفی کتاب Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
کتاب Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings نوشته Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.) یکی از آثار مهم در حوزه مربوطه محسوب میشود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقهمندان به این موضوع بسیار مناسب میباشد.
درباره کتاب Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
این اثر با بهرهگیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار میدهد.
دانلود کتاب Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings را از طریق سایت سایبر یونی تجربه کنید.
پرفروشترین کتاب ها
Windows ۱۰ All-In-One For Dummies
نویسنده:
Woody Leonhard
سال انتشار:
۲۰۱۸
Practice and Theory of Automated Timetabling VI: ۶th International Conference,...
نویسنده:
Barry McCollum (auth.),...
سال انتشار:
۲۰۰۷
The theory of computer science: A programming approach
نویسنده:
J. M Brady
سال انتشار:
۱۹۷۷
نوشتن دیدگاه
دیدگاه های شما
دیدگاهی وجود ندارد