برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Specification of Software Systems

دانلود کتاب مشخصات سیستم های نرم افزاری

مشخصات کتاب

Specification of Software Systems

دسته بندی: منطق
ویرایش: 1st 
نویسندگان: V. S. Alagar,  K. Periyasamy  
سری: Graduate Texts in Computer Science 
ISBN (شابک) : 9781475729221, 9781475729207 
ناشر: Springer 
سال نشر: 1998 
تعداد صفحات: 435 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 15 مگابایت

قیمت کتاب (تومان) : 37,000

کلمات کلیدی مربوط به کتاب مشخصات سیستم های نرم افزاری: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 17

در صورت تبدیل فایل کتاب Specification of Software Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مشخصات سیستم های نرم افزاری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

Front Matter....Pages i-xx
The Role of Specification....Pages 1-11
Specification Activities....Pages 13-21
Specification Qualities....Pages 23-30
Abstraction....Pages 31-38
Formal Systems....Pages 39-78
Logic....Pages 79-135
Set Theory and Relations....Pages 137-169
Algebraic Specification....Pages 171-217
Vienna Development Method....Pages 219-279
The Z Notation....Pages 281-360
Larch....Pages 361-416
Back Matter....Pages 417-422