دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: برنامه نویسی: زبان های برنامه نویسی ویرایش: Hardcover نویسندگان: R. D. Tennent سری: ISBN (شابک) : 0521808146, 9780521808149 ناشر: Cambridge University Press سال نشر: 2015 تعداد صفحات: 302 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 22 مگابایت
در صورت تبدیل فایل کتاب 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.