دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers
دانلود کتاب روندهای اخیر در تکنیک های توسعه جبری: پانزدهمین کارگاه بین المللی، WADT 2001 مشترک با نشست CoFI WG Genova، ایتالیا، 1-3 آوریل، 2001 مقالات منتخب
مشخصات کتاب
Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers
ویرایش: 1 نویسندگان: Roswitha Bardohl, Martin Groβe-Rhode (auth.), Maura Cerioli, Gianna Reggio (eds.) سری: Lecture Notes in Computer Science 2267 ISBN (شابک) : 9783540431596, 3540431594 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 353 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب روندهای اخیر در تکنیک های توسعه جبری: پانزدهمین کارگاه بین المللی، WADT 2001 مشترک با نشست CoFI WG Genova، ایتالیا، 1-3 آوریل، 2001 مقالات منتخب: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، دستکاری نمادین و جبری، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روندهای اخیر در تکنیک های توسعه جبری: پانزدهمین کارگاه بین المللی، WADT 2001 مشترک با نشست CoFI WG Genova، ایتالیا، 1-3 آوریل، 2001 مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Interactive Rule-Based Specification with an Application to Visual Language Definition....Pages 1-20
Algebraic Abstractions....Pages 21-47
Combining Logics: Parchments Revisited....Pages 48-70
Canonical Institutions of Behaviour....Pages 71-84
The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications....Pages 85-108
On the Compatibility of Model and Model-Class Transformations....Pages 109-127
Verifying a Simple Pipelined Microprocessor Using Maude....Pages 128-151
Verifying Architectural Specifications....Pages 152-175
Geometric Modelling with CASL....Pages 176-201
A Compositional Approach to Connector Construction....Pages 201-220
Institution Independent Static Analysis for Casl....Pages 221-237
Tight and Loose Semantics for Transformation Systems....Pages 238-255
Presentations for Abstract Context Institutions....Pages 256-279
Programs, Proofs and Parametrized Specifications....Pages 280-304
Towards Trustworthy Specification I: Consistency Checks....Pages 305-327
The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress....Pages 328-343
نظرات کاربران
کتاب های تصادفی
دانلود کتاب FIA FMA, ACCA paper F2 : management accounting : interactive text : for exams from December 2011 to December 2012
دانلود کتاب History of Nuclear Weapon Safety Devices
دانلود کتاب Identifying with Nationality: Europeans, Ottomans, and Egyptians in Alexandria
