دانلود کتاب Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
توضیحات
معرفی کتاب Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
کتاب Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings نوشته Byron Cook (auth.), Werner Damm, Holger Hermanns (eds.) یکی از آثار مهم در حوزه مربوطه محسوب میشود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقهمندان به این موضوع بسیار مناسب میباشد.
درباره کتاب Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
این اثر با بهرهگیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار میدهد.
دانلود کتاب Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings را از طریق سایت سایبر یونی تجربه کنید.
پرفروشترین کتاب ها
Foundations of Information and Knowledge Systems: Third International Symposium, FoIKS...
نویسنده:
Georg Gottlob (auth.),...
سال انتشار:
۲۰۰۴
Message électronique oder E-Mail?: Einstellungen frankophoner Informatikerinnen und Informatiker zu...
نویسنده:
Eva Molitor
سال انتشار:
None
Computer Aided Methods in Optimal Design and Operations (Series on...
نویسنده:
I. D. L....
سال انتشار:
۲۰۰۶
نوشتن دیدگاه
دیدگاه های شما
دیدگاهی وجود ندارد