دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.) سری: Lecture Notes in Computer Science 7866 ISBN (شابک) : 9783642406140, 9783642406157 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 247 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
کلمات کلیدی مربوط به کتاب روش های رسمی برای مؤلفه ها و اشیاء: یازدهمین سمپوزیوم بین المللی ، FMCO 2012 ، برتینورو ، ایتالیا ، 24-28 سپتامبر 2012 ، سخنرانی های تجدید نظر شده: مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی برای مؤلفه ها و اشیاء: یازدهمین سمپوزیوم بین المللی ، FMCO 2012 ، برتینورو ، ایتالیا ، 24-28 سپتامبر 2012 ، سخنرانی های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب شامل سخنرانیهای اصلاحشده یازدهمین سمپوزیوم روشهای رسمی برای اجزا و شیء، FMCO 2012 است که در برتینورو، ایتالیا، در سپتامبر 2012 برگزار شد. مدل های رسمی برای اشیاء و اجزاء این کتاب ترکیبی منحصربهفرد از ایدههای مهندسی نرمافزار و روشهای رسمی را ارائه میکند که منعکسکننده مجموعه دانش در حال گسترش در سیستمهای نرمافزاری مدرن است.
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.
Front Matter....Pages -
The Abstract Behavioral Specification Language: A Tutorial Introduction....Pages 1-37
Subobject-Oriented Programming....Pages 38-82
Verification of Open Concurrent Object Systems....Pages 83-118
Automatic Inference of Bounds on Resource Consumption....Pages 119-144
Separating Cost and Capacity for Load Balancing in ABS Deployment Models....Pages 145-167
Composing Distributed Systems: Overcoming the Interoperability Challenge....Pages 168-196
Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract....Pages 197-215
Formal Aspects of Free and Open Source Software Components....Pages 216-239
Back Matter....Pages -