ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب 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

مشخصات کتاب

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

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

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



کلمات کلیدی مربوط به کتاب روند اخیر در تکنیک های توسعه جبری: 16 کارگاه آموزشی بین المللی، WADT 2002، Frauenchiemsee، Germany، 24-27 سپتامبر 2002، مقالات منتخب تجدید نظر شده: منطق و معانی برنامه ها، علوم کامپیوتر، عمومی، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، دستکاری نمادین و جبری



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

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


در صورت تبدیل فایل کتاب 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 -




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