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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Practical formal software engineering: wanting the software you get

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

مشخصات کتاب

Practical formal software engineering: wanting the software you get

دسته بندی: فن آوری
ویرایش: 1 
نویسندگان: Bruce Mills  
سری:  
ISBN (شابک) : 0521879035, 9780521879033 
ناشر: Cambridge University Press 
سال نشر: 2009 
تعداد صفحات: 375 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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

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

در صورت تبدیل فایل کتاب Practical formal software engineering: wanting the software you get به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب مهندسی نرم افزار رسمی عملی: خواستن نرم افزاری که دریافت می کنید

مهندسی نرم افزار رسمی رسمی یک کتاب درسی است که هدف آن دانشجویان سال آخر کارشناسی و کارشناسی ارشد است که بر روش های رسمی در نوشتن سریع کد قوی تأکید دارد. مهندسی فرآیندی غیررسمی است که از منطق های رسمی به عنوان ابزار و مؤلفه برای دستیابی به راه حل های عملی به موقع استفاده می کند. این کتاب یک رویکرد مهندسی برای روشن کردن ایجاد و تأیید سیستم‌های نرم‌افزاری بزرگ دارد که در آن قضایا و بدیهیات به عنوان فرمالیسم از طریق عمل تحقق می‌یابند. در جایی که کتاب‌های درسی دیگر شیوه‌های تجاری را از طریق تکنیک‌های مدیریت پروژه عمومی یا سیستم‌های منطقی دقیق و دقیق مورد بحث قرار می‌دهند، این کتاب تعامل بین کد در یک ماشین فیزیکی و منطق اعمال شده در ایجاد نرم‌افزار را بررسی می‌کند. این عناصر یک مطالعه غیررسمی و دقیق از منطق، جبر و هندسه از طریق نرم افزار ایجاد می کنند. با فرض تجربه قبلی با زبان های برنامه نویسی C، C++ یا جاوا، فصل ها UML، OCL و Z را از ابتدا معرفی می کنند. بر اساس موضوع ساخت یک موتور بازی، نمونه‌های کار شده گسترده، خوانندگان را تشویق می‌کند تا زبان‌ها را از طریق جنبه فنی علم نرم‌افزار یاد بگیرند.

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

Practical Formal Software Engineering is a textbook aimed at final year undergraduate and graduate students, emphasizing formal methods in writing robust code quickly. Engineering is an informal process using formal logics as tools and components to obtain timely practical solutions. This book takes an engineering approach to illuminate the creation and verification of large software systems in which theorems and axioms are intuited as the formalism materializes through practice. Where other textbooks discuss business practices through generic project management techniques or detailed rigid logic systems, this book examines the interaction between code in a physical machine and the logic applied in creating the software. These elements create an informal and rigorous study of logic, algebra, and geometry through software. Assuming prior experience with C, C++, or Java programming languages, chapters introduce UML, OCL, and Z from scratch. Based around a theme of the construction of a game engine, extensive worked examples motivate readers to learn the languages through the technical side of software science.