ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

دانلود کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: 15th International Conference، FOSSACS 2012، برگزار شده به عنوان بخشی از کنفرانس مشترک اروپا در زمینه تئوری و عملیات نرم افزار، ETAPS 2012، Tallinn، Estonia، March 24 - April 1، 2012.

Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

مشخصات کتاب

Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 7213 Security and Cryptology 
ISBN (شابک) : 9783642287282, 364228728X 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2012 
تعداد صفحات: 497 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

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



کلمات کلیدی مربوط به کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: 15th International Conference، FOSSACS 2012، برگزار شده به عنوان بخشی از کنفرانس مشترک اروپا در زمینه تئوری و عملیات نرم افزار، ETAPS 2012، Tallinn، Estonia، March 24 - April 1، 2012.: منطق ریاضی و زبان‌های رسمی، محاسبات با دستگاه‌های انتزاعی، منطق و معانی برنامه‌ها، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، مهندسی نرم‌افزار، هوش مصنوعی (شامل رباتیک)



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

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


در صورت تبدیل فایل کتاب Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: 15th International Conference، FOSSACS 2012، برگزار شده به عنوان بخشی از کنفرانس مشترک اروپا در زمینه تئوری و عملیات نرم افزار، ETAPS 2012، Tallinn، Estonia، March 24 - April 1، 2012. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: 15th International Conference، FOSSACS 2012، برگزار شده به عنوان بخشی از کنفرانس مشترک اروپا در زمینه تئوری و عملیات نرم افزار، ETAPS 2012، Tallinn، Estonia، March 24 - April 1، 2012.



این کتاب مجموعه مقالات پانزدهمین کنفرانس بین المللی مبانی علم نرم افزار و ساختارهای محاسباتی، FOSSACS 2012 است که به عنوان بخشی از کنفرانس مشترک اروپایی نظریه و عمل نرم افزار، ETAPS 2012، در تالین، استونی برگزار شد. 29 مقاله ارائه شده در این کتاب به همراه دو سخنرانی دعوت شده در طول مقاله به دقت بررسی و از بین 100 مقاله ارسالی کامل انتخاب شدند. این مقاله به نظریه ها و روش هایی برای پشتیبانی از تجزیه و تحلیل، سنتز، تبدیل و تأیید برنامه ها و سیستم های نرم افزاری می پردازد.


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

This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 29 papers presented in this book together with two invited talks in full paper length were carefully reviewed and selected from 100 full paper submissions. The papers deal with theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.



فهرست مطالب

Front Matter....Pages -
Querying UML Class Diagrams....Pages 1-25
Bicategories of Concurrent Games....Pages 26-41
Fibrational Induction Meets Effects....Pages 42-57
A Coalgebraic Perspective on Minimization and Determinization....Pages 58-73
When Is a Container a Comonad?....Pages 74-88
Well-Pointed Coalgebras (Extended Abstract)....Pages 89-103
Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs....Pages 104-118
Applicative Bisimulations for Delimited-Control Operators....Pages 119-134
Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata....Pages 135-149
Improved Ramsey-Based Büchi Complementation....Pages 150-164
Extending ${\\cal H}_1$ -Clauses with Path Disequalities....Pages 165-179
Brookes Is Relaxed, Almost!....Pages 180-194
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes....Pages 195-209
Is It a “Good” Encoding of Mixed Choice?....Pages 210-224
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus....Pages 225-239
Narcissists Are Easy, Stepmothers Are Hard....Pages 240-254
On Nominal Regular Languages with Binders....Pages 255-269
Robustness of Structurally Equivalent Concurrent Parity Games....Pages 270-285
Subgame Perfection for Equilibria in Quantitative Reachability Games....Pages 286-300
Concurrent Games with Ordered Objectives....Pages 301-315
Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators....Pages 316-330
On Distributability of Petri Nets....Pages 331-345
Functions as Session-Typed Processes....Pages 346-360
Deriving Bisimulation Congruences for Conditional Reactive Systems....Pages 361-375
First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time....Pages 376-390
Model Checking Languages of Data Words....Pages 391-405
Branching-Time Model Checking of Parametric One-Counter Automata....Pages 406-420
Synthesizing Probabilistic Composers....Pages 421-436
On the Complexity of Computing Probabilistic Bisimilarity....Pages 437-451
Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation....Pages 452-466
On the Complexity of the Equivalence Problem for Probabilistic Automata....Pages 467-481
Back Matter....Pages -




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