ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Software Engineering 2: Specification of Systems and Languages

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

Software Engineering 2: Specification of Systems and Languages

مشخصات کتاب

Software Engineering 2: Specification of Systems and Languages

دسته بندی: کامپیوتر
ویرایش:  
نویسندگان:   
سری: Texts in Theoretical Computer Science. An EATCS Series 
ISBN (شابک) : 9783540211501, 3540211500 
ناشر: Springer 
سال نشر: 2006 
تعداد صفحات: 783 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 40 مگابایت

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



ثبت امتیاز به این کتاب

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


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

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


توضیحاتی در مورد کتاب مهندسی نرم افزار 2: مشخصات سیستم ها و زبان ها

از بررسی ها: "جلد حاضر دومین جلد از سه گانه توسعه رسمی سیستم های مقیاس بزرگ است. هر موضوع با استفاده از مثال های زیادی ارائه شده است. پایان هر فصل شامل چندین تمرین است که موضوعات را به صورت واقعی تر نشان می دهد. طیف وسیعی از ابزارهای مدل‌سازی و مشخصات، درک جامعی را در اختیار خواننده قرار می‌دهد. این کتاب برای محققان و متخصصان درگیر در مشخصات زبان و مدل‌سازی سیستم‌های هم‌زمان و هم‌زمان جذابیت دارد. (21)، 2006)\"


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

From the reviews:"The present volume is the second one of a trilogy on formal development of large scale systems. Each topic is presented by means of many examples . The end of each chapter includes several exercises that demonstrate the topics in a more realistic setting. The quite large spectrum of modelling and specification tools provide the reader with a comprehensive understanding . the book appeals to researchers and to practitioners involved in language specification and modelling of real time and concurrent systems. (Tudor Balanescu, Zentralblatt MATH, Vol. 1095 (21), 2006)"



فهرست مطالب

Vol. 1: Abstraction and modelling. --
2006. --
XXXIX, 711 str. --
Vol. 2: Specification of systems and languages. --
2006. --
XXIV, 777 str. --
Vol. 3: Domains, requirements, and Software design. --
2006. --
XXX, 766 str.




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی