دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
دانلود کتاب روندهای اخیر در تکنیک های توسعه جبری: نوزدهمین کارگاه بین المللی، WADT 2008، پیزا، ایتالیا، 13-16 ژوئن، 2008، مقالات منتخب اصلاح شده
مشخصات کتاب
Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Michael Altenhofen, Egon Börger (auth.), Andrea Corradini, Ugo Montanari (eds.) سری: Lecture Notes in Computer Science 5486 : Theoretical Computer Science and General Issues ISBN (شابک) : 3642034284, 9783642034282 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 349 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب روندهای اخیر در تکنیک های توسعه جبری: نوزدهمین کارگاه بین المللی، WADT 2008، پیزا، ایتالیا، 13-16 ژوئن، 2008، مقالات منتخب اصلاح شده: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، ریاضیات محاسبات، نظریه محاسبات، محاسبات با دستگاه های انتزاعی، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روندهای اخیر در تکنیک های توسعه جبری: نوزدهمین کارگاه بین المللی، WADT 2008، پیزا، ایتالیا، 13-16 ژوئن، 2008، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روندهای اخیر در تکنیک های توسعه جبری: نوزدهمین کارگاه بین المللی، WADT 2008، پیزا، ایتالیا، 13-16 ژوئن، 2008، مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل نوزدهمین کارگاه بین المللی در مورد روندهای اخیر در تکنیک های توسعه جبری، WADT 2008، در پیزا، ایتالیا، در 13-16 ژوئن 2008 است.
18 مقاله کامل اصلاح شده ارائه شده همراه با 3 سخنرانی دعوت شده با دقت بررسی و از بین 33 ارائه در کارگاه انتخاب شدند.
مقالات بر روی رویکردهای جبری برای مشخصات و توسعه سیستم ها تمرکز دارند و آدرس آنها را نشان می دهد. موضوعاتی مانند روش‌های رسمی برای توسعه سیستم، زبان‌ها و روش‌های مشخصات، سیستم‌ها و تکنیک‌های استدلال درباره مشخصات، سیستم‌های توسعه مشخصات، روش‌ها و تکنیک‌های سیستم‌های همزمان، توزیع‌شده و متحرک، و مبانی جبری و جبری.
< /p>توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008.
The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop.
The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.
فهرست مطالب
Front Matter....Pages -
Concurrent Abstract State Machines and + CAL Programs....Pages 1-17
Molecules as Automata....Pages 18-20
Service-Level Agreements for Service-Oriented Computing....Pages 21-36
Tiles for Reo....Pages 37-55
C-semiring Frameworks for Minimum Spanning Tree Problems....Pages 56-70
What Is a Multi-modeling Language?....Pages 71-87
Generalized Theoroidal Institution Comorphisms....Pages 88-101
Graph Transformation with Dependencies for the Specification of Interactive Systems....Pages 102-118
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi....Pages 119-134
A Rewriting Logic Approach to Type Inference....Pages 135-151
A Term-Graph Syntax for Algebras over Multisets....Pages 152-165
Transformations of Conditional Rewrite Systems Revisited....Pages 166-186
Towards a Module System for K....Pages 187-205
Property Preserving Refinement for Csp - Casl ....Pages 206-220
Reconfiguring Distributed Reo Connectors....Pages 221-235
A Rewrite Approach for Pattern Containment....Pages 236-250
A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum....Pages 251-265
Heterogeneous Logical Environments for Distributed Specifications....Pages 266-289
Term-Generic Logic....Pages 290-307
Declarative Debugging of Rewriting Logic Specifications....Pages 308-325
Translating a Dependently-Typed Logic to First-Order Logic....Pages 326-341
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب C# pour les nuls
دانلود کتاب Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
دانلود کتاب Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
دانلود کتاب Learning Theory: 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007. Proceedings
دانلود کتاب Rewriting Techniques and Applications: Dijon, France, May 20–22, 1985
دانلود کتاب BDD in Action: Behavior-Driven Development for the whole software lifecycle
دانلود کتاب Secrets of RSS
دانلود کتاب Expert Resumes for Career Changers
دانلود کتاب Advanced SEO Techniques
