دانلود کتاب Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 – April 6, 2008. Proceedings (به فارسی: مبانی علم نرم افزار و ساختارهای محاسباتی: یازدهمین کنفرانس بین المللی، FOSSACS 2008، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS 2008، بوداپست، مجارستان، 29 مارس – 6 آوریل 2008 برگزار شد.) نوشته شده توسط «Igor Walukiewicz (auth.) – Roberto Amadio (eds.)»
اطلاعات کتاب مبانی علم نرم افزار و ساختارهای محاسباتی: یازدهمین کنفرانس بین المللی، FOSSACS 2008، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS 2008، بوداپست، مجارستان، 29 مارس – 6 آوریل 2008 برگزار شد.
موضوع اصلی: ریاضیات محاسباتی
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Igor Walukiewicz (auth.) – Roberto Amadio (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2008
تعداد صفحه: 508
حجم کتاب: 6 مگابایت
کد کتاب: 3540784977 , 9783540784975
نوبت چاپ: 1
توضیحات کتاب مبانی علم نرم افزار و ساختارهای محاسباتی: یازدهمین کنفرانس بین المللی، FOSSACS 2008، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS 2008، بوداپست، مجارستان، 29 مارس – 6 آوریل 2008 برگزار شد.
این کتاب مجموعه مقالات داوری یازدهمین کنفرانس بین المللی مبانی علم نرم افزار و ساختارهای محاسباتی، FOSSACS 2008، برگزار شده در بوداپست، مجارستان، در مارس/آوریل 2008 به عنوان بخشی از ETAPS 2008، کنفرانس های مشترک اروپایی در نظریه و تمرین نرم افزار.
33 مقاله کامل اصلاح شده ارائه شده همراه با چکیده 1 سخنرانی دعوت شده به دقت بررسی و از 124 مورد ارسالی انتخاب شدند. طیف گسترده ای از نظریه ها و روش ها برای پشتیبانی از تجزیه و تحلیل، سنتز، تبدیل و تأیید برنامه ها و سیستم های نرم افزاری مورد بررسی قرار می گیرند، از جمله موضوعات زیر: مدل های جبری، تئوری خودکار و زبان، معادلات رفتاری، مدل های طبقه بندی، فرآیندهای محاسباتی بر روی داده های گسسته و پیوسته. سیستم‌های حالت بی‌نهایت، ساختارهای محاسباتی، منطق برنامه‌ها، منطق‌های مدال، مکانی و زمانی، مدل‌های سیستم‌های همزمان، واکنشی، توزیع‌شده و متحرک، جبرها و محاسبات فرآیندی، معناشناسی زبان‌های برنامه‌نویسی، مشخصات و اصلاح نرم‌افزار، سیستم‌های نوع و تئوری نوع، مبانی امنیت، داده های نیمه ساختاریافته، صحت برنامه و تأیید.
This book constitutes the refereed proceedings of the 11th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2008, held in Budapest, Hungary, in March/April 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software.
The 33 revised full papers presented together with the abstract of 1 invited talk were carefully reviewed and selected from 124 submissions. A broad variety of theories and methods to support analysis, synthesis, transformation and verification of programs and software systems are addressed, including the following topics: algebraic models, automata and language theory, behavioural equivalences, categorical models, computation processes over discrete and continuous data, infinite state systems, computational structures, logics of programs, modal, spatial, and temporal logics, models of concurrent, reactive, distributed, and mobile systems, process algebras and calculi, semantics of programming languages, software specification and refinement, type systems and type theory, fundamentals of security, semi-structured data, program correctness and verification.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.