checker
جستجوگر گرامر فایل انگلیسی جدید برای متوسط
دانلود کتاب New English File Grammar Checker for Intermediate (به فارسی: جستجوگر گرامر فایل انگلیسی جدید برای متوسط) اطلاعات کتاب جستجوگر گرامر فایل انگلیسی جدید برای متوسط موضوع اصلی: زبان شناسی نوع: کتاب الکترونیکی ناشر: Oxford University Press, USA زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) تعداد صفحه: 26 حجم کتاب: 5 مگابایت دانلود کتاب «جستجوگر گرامر فایل انگلیسی جدید برای متوسط»
چرخش مدل جستجوگر
دانلود کتاب Spin Model Checker (به فارسی: چرخش مدل جستجوگر) نوشته شده توسط «Gerard J. Holzmann» اطلاعات کتاب چرخش مدل جستجوگر موضوع اصلی: 1 نوع: کتاب الکترونیکی ناشر: Addison-Wesley Professional نویسنده: Gerard J. Holzmann زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2003 تعداد صفحه: 690 حجم کتاب: 4 مگابایت کد کتاب: 9780321228628 , 0321228626 توضیحات کتاب چرخش مدل جستجوگر SPIN محبوب‌ترین و مسلماً یکی از قدرتمندترین ابزارهای جهان برای تشخیص نقص نرم‌افزار در طراحی‌های همزمان سیستم است. به معنای واقعی کلمه، هزاران نفر از SPIN از زمانی که تقریباً پانزده سال پیش برای اولین…
اصول جستجوگر مدل اسپین
دانلود کتاب Principles of the Spin Model Checker (به فارسی: اصول جستجوگر مدل اسپین) نوشته شده توسط «Mordechai Ben-Ari» اطلاعات کتاب اصول جستجوگر مدل اسپین نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Mordechai Ben-Ari زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2008 تعداد صفحه: 216 / 225 حجم فایل: 3.37 مگابایت کد کتاب: 1846287693 , 9781846287695 نوبت چاپ: 1 توضیحات کتاب اصول جستجوگر مدل اسپین کتاب Principles of Spin مقدماتی است و تنها شرط آن سابقه برنامه نویسی است. مدل های اسپین به زبان پروملا نوشته شده اند که به راحتی توسط دانش آموزان و…