استفاده از Z توصیف، پالایش و اثبات
زد (زبان برنامهنویسی کامپیوتر)
استفاده از Z توصیف، پالایش و اثبات
زد (زبان برنامهنویسی کامپیوتر)
قیمت
3,806,000
تاریخ نشر
14030202
شابک
978-600-7997-87-1
تلفن
32321669
ناشر
پدیدآور
نويسنده :
وودکاک ، جیم
-
نويسنده :
دیویس ، جیم
-
مترجم :
کریمی ، زهرا
-
مترجم :
کائدی ، مرجان
-
مترجم :
حسنوند ، فاطمه
-
ويراستار :
ظاهریعبدهوند ، ابراهیم
اطلاعات تکمیلی
کد دیویی
005.12
زبان کتاب
فارسی
محل نشر
شهرکرد - چهارمحال و بختیاری
مشخصات
جلد -
348 صفحه -
ترجمه -
چاپ 1
کد دیویی
005.12
زبان کتاب
فارسی
محل نشر
شهرکرد - چهارمحال و بختیاری
مشخصات
جلد -
348 صفحه -
ترجمه -
چاپ 1
معرفی مختصر کتاب