ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Specifying Software

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

Specifying Software

مشخصات کتاب

Specifying Software

دسته بندی: برنامه نویسی: زبان های برنامه نویسی
ویرایش: Hardcover 
نویسندگان:   
سری:  
ISBN (شابک) : 0521808146, 9780521808149 
ناشر: Cambridge University Press 
سال نشر: 2015 
تعداد صفحات: 302 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 22 مگابایت 

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



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

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


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

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


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

این جلد نوآورانه مقدمه ای عملی برای تکنیک هایی برای مشخص کردن رفتار اجزای نرم افزار فراهم می کند. متنی برای دوره لیسانس سال دوم در رشته های علوم کامپیوتر و مهندسی کامپیوتر، برای خودآموز نیز مناسب است. این کتاب به دانش‌آموزان کمک می‌کند تا مهارت‌های برنامه‌نویسی خود را بهبود بخشند و برای دوره‌های بعدی در الگوریتم‌ها و ساختارهای داده پیشرفته، طراحی نرم‌افزار، روش‌های رسمی، کامپایلرها، زبان‌های برنامه‌نویسی و تئوری، پایه و انگیزه مناسبی کسب کنند. موضوعات اصلی پوشش داده شده، تکنیک‌هایی برای استفاده از نمادهای ادعایی مناسب برنامه‌نویس برای تعیین، توسعه و تأیید الگوریتم‌های کوچک اما غیر پیش پا افتاده و نمایش داده‌ها، و استفاده از نمودارهای حالت، گرامرها و عبارات منظم برای تعیین و توسعه شناسایی‌کننده‌ها برای زبان‌های رسمی است. . این ارائه بر اساس مثال های متعدد و مطالعات موردی متناسب با سطح تخصص برنامه نویسی خوانندگان مورد نظر است.


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

This innovative volume provides a hands-on introduction to techniques for specifying the behavior of software components. A text for a second-year undergraduate course in Computer Science and Computer Engineering programs, it is also suitable for self-study. This book will help students to improve their programming skills and gain a sound foundation and motivation for subsequent courses in advanced algorithms and data structures, software design, formal methods, compilers, programming languages, and theory. The main topics covered are techniques for using programmer-friendly assertional notations to specify, develop, and verify small but non-trivial algorithms and data representations, and the use of state diagrams, grammars, and regular expressions to specify and develop recognizers for formal languages. The presentation is based on numerous examples and case studies appropriate to the level of programming expertise of the intended readership.





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