دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
دانلود کتاب روش جبری و فناوری نرم افزار: سیزدهمین کنفرانس بین المللی ، AMAST 2010 ، Lac-Beauport ، QC ، کانادا ، 23-25 ژوئن 2010. مقالات منتخب اصلاح شده
مشخصات کتاب
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
ویرایش: [1 ed.] نویسندگان: Jie Ding, Jane Hillston (auth.), Michael Johnson, Dusko Pavlovic (eds.) سری: Lecture Notes in Computer Science 6486 : Programming and Software Engineering ISBN (شابک) : 3642177956, 9783642177958 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 238 [248] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 50,000
در صورت تبدیل فایل کتاب Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش جبری و فناوری نرم افزار: سیزدهمین کنفرانس بین المللی ، AMAST 2010 ، Lac-Beauport ، QC ، کانادا ، 23-25 ژوئن 2010. مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش جبری و فناوری نرم افزار: سیزدهمین کنفرانس بین المللی ، AMAST 2010 ، Lac-Beauport ، QC ، کانادا ، 23-25 ژوئن 2010. مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بین‌المللی روش‌شناسی جبری و فناوری نرم‌افزار، AMAST 2010، در Lac-Beauport، QC، کانادا، در ژوئن 2010 است.
14 مقالات کامل اصلاح شده ارائه شده به دقت بررسی و از بین 33 مورد ارسالی انتخاب شدند. مقالات در 1 مقاله دعوت شده، 10 مقاله تحقیقاتی مشارکتی و 4 نمایش سیستمی سازماندهی شده اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010.
The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.
فهرست مطالب
Front Matter....Pages -
Structural Analysis for Stochastic Process Algebra Models....Pages 1-27
Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra....Pages 28-43
On the Expressiveness of the π -Calculus and the Mobile Ambients....Pages 44-59
Integrating Maude into Hets....Pages 60-75
Model Refinement Using Bisimulation Quotients....Pages 76-91
Type Fusion....Pages 92-110
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming....Pages 111-127
Learning in a Changing World, an Algebraic Modal Logical Approach....Pages 128-141
Matching Logic: An Alternative to Hoare/Floyd Logic....Pages 142-162
Program Calculation in Coq....Pages 163-179
Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming....Pages 180-200
Proving Termination Properties with mu-term ....Pages 201-208
BAL Tool in Flexible Manufacturing Systems....Pages 209-215
A Complete Declarative Debugger for Maude....Pages 216-225
An Assume Guarantee Approach for Checking Quantified Array Assertions....Pages 226-235
Back Matter....Pages -
