دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
دانلود کتاب روندهای اخیر در تکنیک های توسعه جبری: هجدهمین کارگاه بین المللی، WADT 2006، La Roche en Ardenne، بلژیک، 1-3 ژوئن 2006، مقالات منتخب اصلاح شده
مشخصات کتاب
Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
ویرایش: [1 ed.] نویسندگان: Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch Lafuente (auth.), José Luiz Fiadeiro, Pierre-Yves Schobbens (eds.) سری: Lecture Notes in Computer Science 4409 ISBN (شابک) : 3540719970, 9783540719977 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2007 تعداد صفحات: 174 [176] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 32,000
در صورت تبدیل فایل کتاب Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روندهای اخیر در تکنیک های توسعه جبری: هجدهمین کارگاه بین المللی، WADT 2006، La Roche en Ardenne، بلژیک، 1-3 ژوئن 2006، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روندهای اخیر در تکنیک های توسعه جبری: هجدهمین کارگاه بین المللی، WADT 2006، La Roche en Ardenne، بلژیک، 1-3 ژوئن 2006، مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از داوری کامل هجدهمین کارگاه بین المللی تکنیک های توسعه جبری، WADT 2006، برگزار شده در لاروش آن آردن، بلژیک، در ژوئن 2006 است.
10 مقاله کامل اصلاح شده ارائه شده بودند. با دقت در طی دو دور بررسی و بهبود انتخاب شده است. این مقالات بر روی رویکرد جبری به مشخصات و توسعه سیستم ها تمرکز دارند و به موضوعاتی مانند روش های رسمی برای توسعه سیستم، زبان ها و روش های مشخصات، سیستم ها و تکنیک های استدلال در مورد مشخصات، سیستم های توسعه مشخصات، روش ها و تکنیک های همزمان، توزیع شده و سیستم های متحرک، و مبانی جبری و جبری مشترک.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, in June 2006.
The 10 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers focus on the algebraic approach to the specification and development of systems and address topics such as 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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Company Taxation in the Asia-Pacific Region, India, and Russia
دانلود کتاب Aristotle’s Earlier Logic
