| نام کتاب : توصیف ، پالایش و اثبات با استفاده از Z | |||
|
پدید آورنده :
جیم وود کوک / جیم دیویس / دکتر محمد علی ترکمانی ناشر : سازمان چاپ و نشر ایران |
|||
| مجوز انتشار الکترونیکی : سازمان چاپ و نشر ایران - اپلیکیشن کتاب‌رسان | |||
| شابک : 9786004321044 | |||
| قیمت (نسخه الکترونیکی) : 26000 تومان | |||
| نوع فایل : PDF | تاریخ انتشار : 1398 | ||
| کلمات کلیدی : زد , z , زبان برنامه نویسی کامپیوتر , computer program language | |||
| توضیحات بیشتر : زد ( زبان برنامه نویسی کامپیوتر ) | |||
