دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
دانلود کتاب روند اخیر در تکنیک های توسعه جبری: 16 کارگاه آموزشی بین المللی، WADT 2002، Frauenchiemsee، Germany، 24-27 سپتامبر 2002، مقالات منتخب تجدید نظر شده
مشخصات کتاب
Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
دسته بندی: جبر ویرایش: 1 نویسندگان: L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola (auth.), Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.) سری: Lecture Notes in Computer Science 2755 ISBN (شابک) : 3540205373, 9783540205371 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 465 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 57,000
کلمات کلیدی مربوط به کتاب روند اخیر در تکنیک های توسعه جبری: 16 کارگاه آموزشی بین المللی، WADT 2002، Frauenchiemsee، Germany، 24-27 سپتامبر 2002، مقالات منتخب تجدید نظر شده: منطق و معانی برنامه ها، علوم کامپیوتر، عمومی، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، دستکاری نمادین و جبری
در صورت تبدیل فایل کتاب Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روند اخیر در تکنیک های توسعه جبری: 16 کارگاه آموزشی بین المللی، WADT 2002، Frauenchiemsee، Germany، 24-27 سپتامبر 2002، مقالات منتخب تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روند اخیر در تکنیک های توسعه جبری: 16 کارگاه آموزشی بین المللی، WADT 2002، Frauenchiemsee، Germany، 24-27 سپتامبر 2002، مقالات منتخب تجدید نظر شده
این کتاب مجموعه مقالات پس از داوری کامل شانزدهمین کارگاه بین المللی تکنیک های توسعه جبری، WADT 2002، برگزار شده در Frauenchiemsee، آلمان در سپتامبر 2002 است.
20 مقاله کامل اصلاح شده همراه با 6 مقاله ارائه شده است. مقالات دعوت شده با دقت بهبود یافته و از بین 44 ارائه کارگاهی طی دو دور بررسی انتخاب شدند. این مقالات به موضوعاتی مانند روش‌های رسمی برای توسعه سیستم، زبان‌ها و روش‌های مشخصات، سیستم‌ها و تکنیک‌های استدلال درباره مشخصات، سیستم‌های توسعه مشخصات، روش‌ها و تکنیک‌های سیستم‌های همزمان، توزیع‌شده و متحرک، و روش‌های جبری و جبری اختصاص داده شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002.
The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like 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 methods.
فهرست مطالب
Front Matter....Pages -
AGILE: Software Architecture for Mobility....Pages 1-33
A Coinductive Calculus of Component Connectors....Pages 34-55
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint....Pages 56-81
MultiMedia Instruction in Safe and Secure Systems....Pages 82-117
Zero, Connected, Empty....Pages 118-126
Zero, Connected, Empty: An Essay after a Cantata....Pages 127-128
Type Checking Parametrised Programs and Specifications in ASL + FPC ....Pages 129-144
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation....Pages 145-164
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars....Pages 165-184
Completeness Results for Fibred Parchments....Pages 185-200
Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs....Pages 201-215
Conditional Circular Coinductive Rewriting with Case Analysis....Pages 216-232
Verifying Generative Casl Architectural Specifications....Pages 233-252
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens....Pages 253-267
The Coinductive Approach to Verifying Cryptographic Protocols....Pages 268-283
Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages....Pages 284-298
Approach-Independent Structuring Concepts for Rule-Based Systems....Pages 299-311
Notions of Behaviour and Reachable-Part and Their Institutions....Pages 312-327
Combining Specification Formalisms in the ‘General Logic’ of Multialgebras....Pages 328-342
On How Distribution and Mobility Interfere with Coordination....Pages 343-358
Foundations of Heterogeneous Specification....Pages 359-375
Algebraic-Coalgebraic Specification in CoCasl ....Pages 376-392
Translating Logics for Coalgebras....Pages 393-408
Presenting and Combining Inference Systems....Pages 409-424
Monad-Independent Dynamic Logic in HasCasl ....Pages 425-441
Preserving Properties in System Redesign: Rule-Based Approach....Pages 442-456
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Introduction to abstract algebra
دانلود کتاب Algebra Carbondale Nineteen Eighty: Proceedings
دانلود کتاب Theorems on residues obtained by the division of powers
دانلود کتاب Ordered Sets
دانلود کتاب Singularity theory and an introduction to catastrophe theory
دانلود کتاب Theory of Groups of Finite Order, 2nd ed.
دانلود کتاب Representation Theory of Algebras (ICRA VII, Cocoyoc, Mexico, August 22-26, 1994)
دانلود کتاب Integers, Polynomials, and Rings: A Course in Algebra
دانلود کتاب Topoi (collected papers)
