ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

دانلود کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: چهارمین کنفرانس بین المللی ، FOSSACS 2001 به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2001 Genova ، ایتالیا ، 2 تا 6 آوریل 2001 مجموعه مقالات

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

مشخصات کتاب

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 2030 
ISBN (شابک) : 9783540418641, 3540418644 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2001 
تعداد صفحات: 425 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

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



کلمات کلیدی مربوط به کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: چهارمین کنفرانس بین المللی ، FOSSACS 2001 به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2001 Genova ، ایتالیا ، 2 تا 6 آوریل 2001 مجموعه مقالات: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، محاسبات با دستگاه های انتزاعی، زبان های برنامه نویسی، کامپایلر، مترجمان، مهندسی نرم افزار



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

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


در صورت تبدیل فایل کتاب Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: چهارمین کنفرانس بین المللی ، FOSSACS 2001 به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2001 Genova ، ایتالیا ، 2 تا 6 آوریل 2001 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مبانی علوم نرم افزاری و ساختارهای محاسباتی: چهارمین کنفرانس بین المللی ، FOSSACS 2001 به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2001 Genova ، ایتالیا ، 2 تا 6 آوریل 2001 مجموعه مقالات



ETAPS 2001 چهارمین نمونه از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار بود. ETAPS یک کنفرانس سالانه فدرال است که در سال 1998 با ترکیب تعدادی از کنفرانس های موجود و جدید تأسیس شد. این سال شامل چندین کنفرانس (FOSSACS، FASE، ESOP، CC، TACAS)، ده کارگاه آموزشی ماهواره (CMCS، ETI Day، JOSES، LDTA، MMABS، PFM، RelMiS، UNIGRA، WADT، WTUML)، هفت سخنرانی دعوت شده، یک مناظره بود. و ده آموزش رویدادهایی که ETAPS را شامل می شود به جنبه های مختلف فرآیند توسعه سیستم، از جمله مشخصات، طراحی، پیاده سازی، تجزیه و تحلیل و بهبود می پردازد. زبان‌ها، روش‌شناسی‌ها و ابزارهایی که از این موارد پشتیبانی می‌کنند، همگی در محدوده آن هستند. آمیزه‌های متفاوتی از تئوری و عمل با گرایش به نظریه با انگیزه عملی از یک سو و عمل مبتنی بر منطق از سوی دیگر نشان داده می‌شوند. بسیاری از مسائل مربوط به طراحی نرم افزار به طور کلی در مورد سیستم ها، از جمله سیستم های سخت افزاری اعمال می شود، و تاکید بر نرم افزار منحصر به فرد نیست.


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

ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.



فهرست مطالب

Adequacy for Algebraic Effects....Pages 1-24
Secrecy Types for Asymmetric Communication....Pages 25-41
Axiomatizing Tropical Semirings....Pages 42-56
Type Isomorphisms and Proof Reuse in Dependent Type Theory....Pages 57-71
On the Duality between Observability and Reachability....Pages 72-87
The Finite Graph Problem for Two-Way Alternating Automata....Pages 88-103
High-Level Petri Nets as Type Theories in the Join Calculus....Pages 104-120
Temporary Data in Shared Dataspace Coordination Languages....Pages 121-136
On Garbage and Program Logic....Pages 137-151
The Complexity of Model Checking Mobile Ambients....Pages 152-167
The Rho Cube....Pages 168-183
Type Inference with Recursive Type Equations....Pages 184-198
On the Modularity of Deciding Call-by-Need....Pages 199-213
Synchronized Tree Languages Revisited and New Applications....Pages 214-229
Computational Completeness of Programming Languages Based on Graph Transformation....Pages 230-245
Axioms for Recursion in Call-by-Value....Pages 246-260
Class Analysis of Object-Oriented Programs through Abstract Interpretation....Pages 261-275
On the Complexity of Parity Word Automata....Pages 276-286
Foundations for a Graph-Based Approach to the Specification of Access Control Policies....Pages 287-302
Categories of Processes Enriched in Final Coalgebras....Pages 303-317
Model Checking CTL + and FCTL Is Hard....Pages 318-331
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory....Pages 332-346
Verified Bytecode Verifiers....Pages 347-363
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the π-Calculus and Mechanizing the Theory of Contexts....Pages 364-378
Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes....Pages 379-393
An Axiomatic Semantics for the Synchronous Language Gentzen ....Pages 394-408
M arrella and the Verification of an Embedded System....Pages 409-412




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