توضیحات
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.
————————————————————–
ترجمه ماشینی :
این جلد نوآورانه مقدمه ای عملی برای تکنیک هایی برای مشخص کردن رفتار اجزای نرم افزار فراهم می کند. متنی برای دوره لیسانس سال دوم در رشته های علوم کامپیوتر و مهندسی کامپیوتر، برای خودآموز نیز مناسب است. این کتاب به دانشآموزان کمک میکند تا مهارتهای برنامهنویسی خود را بهبود بخشند و برای دورههای بعدی در الگوریتمها و ساختارهای داده پیشرفته، طراحی نرمافزار، روشهای رسمی، کامپایلرها، زبانهای برنامهنویسی و تئوری، پایه و انگیزه مناسبی کسب کنند. موضوعات اصلی پوشش داده شده، تکنیکهایی برای استفاده از نمادهای ادعایی مناسب برنامهنویس برای تعیین، توسعه و تأیید الگوریتمهای کوچک اما غیر پیش پا افتاده و نمایش دادهها، و استفاده از نمودارهای حالت، گرامرها و عبارات منظم برای تعیین و توسعه شناساییکنندهها برای زبانهای رسمی است. . این ارائه بر اساس مثال های متعدد و مطالعات موردی متناسب با سطح تخصص برنامه نویسی خوانندگان مورد نظر است.
tag : دانلود کتاب مشخص کردن نرم افزار , Download مشخص کردن نرم افزار , دانلود مشخص کردن نرم افزار , Download Specifying Software Book , مشخص کردن نرم افزار دانلود , buy مشخص کردن نرم افزار , خرید کتاب مشخص کردن نرم افزار , دانلود کتاب Specifying Software , کتاب Specifying Software , دانلود Specifying Software , خرید Specifying Software , خرید کتاب Specifying Software ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.