zspecificationrefinementand
با استفاده از Z.Specification، پالایش و اثبات
دانلود کتاب Using Z.Specification,refinement,and proof (به فارسی: با استفاده از Z.Specification، پالایش و اثبات) نوشته شده توسط «Jim Woodcock – Jim Davies» اطلاعات کتاب با استفاده از Z.Specification، پالایش و اثبات موضوع اصلی: الکترونیک: رادیو نوع: کتاب الکترونیکی ناشر: Prentice Hall نویسنده: Jim Woodcock – Jim Davies زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1996 تعداد صفحه: 407 حجم کتاب: 5 مگابایت کد کتاب: 9780139484728 , 0139484728 توضیحات کتاب با استفاده از Z.Specification، پالایش و اثبات این کتاب حاوی مطالب کافی برای سه دوره آموزشی کامل است. مقدمه ای برای دنیای منطق، مجموعه ها…