مشخصات کتاب

Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

دسته بندی: جبر
ویرایش: 1 
نویسندگان: Reiko Heckel,  Sebastian Thöne (auth.),  José Luiz Fiadeiro,  Peter D. Mosses,  Fernando Orejas (eds.)  
سری: Lecture Notes in Computer Science 3423 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 3540253270, 9783540253273 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2005 
تعداد صفحات: 277 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

کلمات کلیدی مربوط به کتاب روند اخیر در تکنیک های توسعه جبری: 17 کارگاه آموزشی بین المللی، WADT 2004، بارسلونا، اسپانیا، 27-29 مارس 2004. مقالات منتخب تجدید نظر شده: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، مهندسی نرم افزار، دستکاری نمادین و جبری

در صورت تبدیل فایل کتاب Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روند اخیر در تکنیک های توسعه جبری: 17 کارگاه آموزشی بین المللی، WADT 2004، بارسلونا، اسپانیا، 27-29 مارس 2004. مقالات منتخب تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب روند اخیر در تکنیک های توسعه جبری: 17 کارگاه آموزشی بین المللی، WADT 2004، بارسلونا، اسپانیا، 27-29 مارس 2004. مقالات منتخب تجدید نظر شده



این کتاب مجموعه مقالات پس از داوری کامل هفدهمین کارگاه بین المللی تکنیک های توسعه جبری، WADT 2004، برگزار شده در بارسلون، اسپانیا در مارس 2004 است.

14 مقاله کامل اصلاح شده همراه با مقاله دعوت شده ارائه شده است. طی دو دور بررسی و بهبود به دقت انتخاب شدند. از جمله موضوعاتی که به آنها پرداخته می شود روش های رسمی برای توسعه سیستم است. زبان ها و روش های مشخصات؛ سیستم ها و تکنیک های استدلال در مورد مشخصات؛ سیستم های توسعه مشخصات؛ روش ها و تکنیک ها برای سیستم های همزمان، توزیع شده و سیار؛ و مبانی جبری و جبری.

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

This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop on Algebraic Development Techniques, WADT 2004, held in Barcelona, Spain in March 2004.

The 14 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and improvement. Among the topics addressed are 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 -
Behavior-Preserving Refinement Relations Between Dynamic Software Architectures....Pages 1-27
Modelling Mobility with Petri Hypernets....Pages 28-44
Cryptomorphisms at Work....Pages 45-60
Towards a Formal Specification of an Electronic Payment System in CSP-CASL....Pages 61-78
Algebraic Semantics of Design Abstractions for Context-Awareness....Pages 79-93
CCC – The C asl Consistency Checker....Pages 94-105
Ontologies for the Semantic Web in Casl ....Pages 106-125
Theoroidal Maps as Algebraic Simulations....Pages 126-143
Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems....Pages 144-161
A Simple Refinement Language for Casl ....Pages 162-185
A Distributed and Mobile Component System Based on the Ambient Calculus....Pages 186-200
Application and Formal Specification of Sorted Term-Position Algebras....Pages 201-217
From Conditional to Unconditional Rewriting....Pages 218-233
Type Class Polymorphism in an Institutional Framework....Pages 234-251
Architectural Specifications for Reactive Systems....Pages 252-269
Back Matter....Pages -

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

کتاب های مرتبط

دانلود کتاب Foundations of algebraic analysis

دانلود کتاب Fairness and Groups, Volume 13

دانلود کتاب The lore of large numbers

دانلود کتاب Advanced Algebra

دانلود کتاب Clifford modules

دانلود کتاب Advanced Linear Algebra

دانلود کتاب K-Theory for Operator Algebras

دانلود کتاب Algebra for College Students

دانلود کتاب Compatibility, stability, and sheaves

دانلود کتاب Higher Regulators, Algebraic $K$-Theory, and Zeta Functions of Elliptic Curves (CRM Monograph Series)