دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers
دانلود کتاب استفاده از کاربردهای روش های رسمی: اولین سمپوزیوم بین المللی، ISoLA 2004، پافوس، قبرس، 30 اکتبر - 2 نوامبر، 2004، مقالات منتخب اصلاح شده
مشخصات کتاب
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers
ویرایش: 1 نویسندگان: Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.) سری: Lecture Notes in Computer Science 4313 ISBN (شابک) : 9783540489283, 9783540489290 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2006 تعداد صفحات: 204 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب استفاده از کاربردهای روش های رسمی: اولین سمپوزیوم بین المللی، ISoLA 2004، پافوس، قبرس، 30 اکتبر - 2 نوامبر، 2004، مقالات منتخب اصلاح شده: منطق و معانی برنامه‌ها، مهندسی نرم‌افزار، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، سیستم‌های مبتنی بر هدف خاص و برنامه‌نویسی
در صورت تبدیل فایل کتاب Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استفاده از کاربردهای روش های رسمی: اولین سمپوزیوم بین المللی، ISoLA 2004، پافوس، قبرس، 30 اکتبر - 2 نوامبر، 2004، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب استفاده از کاربردهای روش های رسمی: اولین سمپوزیوم بین المللی، ISoLA 2004، پافوس، قبرس، 30 اکتبر - 2 نوامبر، 2004، مقالات منتخب اصلاح شده
از بررسی‌ها:
\"کاربردهای عملی روش‌های رسمی در حال افزایش است. این کتاب حاوی مقالات اصلی یک سمپوزیوم بین‌المللی در مورد استفاده از کاربردهای رسمی است. روش‌ها (IsoLA). از 12 مقاله تشکیل شده است. به نظر من مقالات بسیار آموزنده هستند؛ آنها راه‌هایی را برای استفاده از روش‌های رسمی نشان می‌دهند. من توصیه می‌کنم که پزشکان چنین کاربردهایی را بررسی کنند.» (S. V. Nagaraj, ACM Computing Reviews, Vol. 49 (8)، اوت، 2008)
توضیحاتی درمورد کتاب به خارجی
From the reviews:
"The practical applications of formal methods are increasing. This book contains the main proceedings of an international symposium on leveraging applications of formal methods (IsoLA). It consists of 12 papers. … I find the papers highly informative; they exemplify ways to leverage applications of formal methods. I recommend that practitioners explore such applications." (S. V. Nagaraj, ACM Computing Reviews, Vol. 49 (8), August, 2008)
فهرست مطالب
Front Matter....Pages -
Interaction and Coordination of Tools for Structured Data....Pages 1-8
Modelling Coordination in Biological Systems....Pages 9-25
A Rule Markup Language and Its Application to UML....Pages 26-41
Using XML Transformations for Enterprise Architectures....Pages 42-56
Classification and Utilization of Abstractions for Optimization....Pages 57-73
On the Correctness of Transformations in Compiler Back-Ends....Pages 74-95
Accurate Theorem Proving for Program Verification....Pages 96-114
Designing Safe, Reliable Systems Using Scade....Pages 115-129
Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings....Pages 130-145
Static Timing Analysis of Real-Time Operating System Code....Pages 146-160
A Case Study in Domain-Customized Model Checking for Real-Time Component Software....Pages 161-180
Models for Contract Conformance....Pages 181-196
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Marsh Arabs
دانلود کتاب The Constant Catastrophe. Malnutrition, Famines and Drought
دانلود کتاب A text-book of practical organic chemistry, including qualitative organic analysis
دانلود کتاب Fundamentals of human resource management
