دانلود کتاب Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
توضیحات
معرفی کتاب Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
کتاب Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings نوشته Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (eds.) یکی از آثار مهم در حوزه مربوطه محسوب میشود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقهمندان به این موضوع بسیار مناسب میباشد.
درباره کتاب Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
این اثر با بهرهگیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار میدهد.
دانلود کتاب Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings را از طریق سایت سایبر یونی تجربه کنید.
پرفروشترین کتاب ها
Moj Mikro mart ۱۹۸۵
نویسنده:
ČGP Delo
سال انتشار:
۱۹۸۵
Synfig User’s Manual
نویسنده:
The Synfig Group,...
سال انتشار:
۲۰۱۶
Surviving the Whiteboard Interview: A Developer’s Guide to Using Soft...
نویسنده:
William Gant
سال انتشار:
۲۰۱۹
نوشتن دیدگاه
دیدگاه های شما
دیدگاهی وجود ندارد