دانلود کتاب Semantics with Applications: An Appetizer (به فارسی: معناشناسی با کاربردها: یک پیش غذا) نوشته شده توسط «Hanne Riis Nielson – Flemming Nielson»
اطلاعات کتاب معناشناسی با کاربردها: یک پیش غذا
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Hanne Riis Nielson – Flemming Nielson
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2007
تعداد صفحه: 284
حجم کتاب: 3 مگابایت
کد کتاب: 1846286913 , 1846286921 , 9781846286919 , 9781846286926
توضیحات کتاب معناشناسی با کاربردها: یک پیش غذا
معناشناسی نقش مهمی در توسعه آینده سیستمهای نرمافزاری و زبانهای خاص حوزه خواهد داشت و نیاز واقعی به کتاب مقدماتی وجود دارد که ایدههای اساسی پشت این رویکردها را ارائه دهد. رابطه آنها را با فرمول بندی و اثبات قضایای مربوطه تاکید می کند. و کاربردهای معناشناسی در علوم کامپیوتر را نشان می دهد.
این کتاب به بررسی رابطه بین روشهای مختلف میپردازد و برخی از ایدههای اصلی مورد استفاده را شرح میدهد و اینها را از طریق برنامههای کاربردی جالب نشان میدهد. حوزههای کاربردی مهم تاریخی همراه با برخی برنامههای کاربردی بالقوه هیجانانگیز از جمله: اعتبارسنجی اجرای نمونه اولیه زبانهای برنامهنویسی استفاده میشوند. بررسی تحلیل های برنامه که بخشی از پیاده سازی های پیشرفته تر زبان های برنامه نویسی هستند. بررسی تحلیل های امنیتی بررسی ویژگی های مفید برنامه از جمله اطلاعات مربوط به زمان اجرا.
Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science.
This book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas are used together with some exciting potential applications including: Validating prototype implementations of programming languages. Verifying program analyses that are part of more advanced implementations of programming languages. Verifying security analyses. Verifying useful program properties including information about execution time.
دانلود کتاب «معناشناسی با کاربردها: یک پیش غذا»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.