دانلود کتاب Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
توضیحات
معرفی کتاب Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
کتاب Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers نوشته June Andronick (auth.), Bernhard Beckert, Claude Marché (eds.) یکی از آثار مهم در حوزه مربوطه محسوب میشود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقهمندان به این موضوع بسیار مناسب میباشد.
درباره کتاب Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
این اثر با بهرهگیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار میدهد.
دانلود کتاب Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers را از طریق سایت سایبر یونی تجربه کنید.
پرفروشترین کتاب ها
Firm Leadership
نویسنده:
Inside the Minds...
سال انتشار:
۲۰۰۳
Quicksort
نویسنده:
Sedgewick
سال انتشار:
۱۹۸۰
Principles of Distributed Computing
نویسنده:
Roger Wattenhofer
سال انتشار:
۲۰۱۶
نوشتن دیدگاه
دیدگاه های شما
دیدگاهی وجود ندارد