ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

دانلود کتاب روش ها و تست های رسمی: نتیجه شبکه FORTEST ، مقالات منتخب منتخب

Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

مشخصات کتاب

Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

ویرایش: [1 ed.] 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 4949 : Programming and Software Engineering 
ISBN (شابک) : 3540789162, 9783540789161 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2008 
تعداد صفحات: 367
[378] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 Mb

قیمت کتاب (تومان) : 51,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 10


در صورت تبدیل فایل کتاب Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش ها و تست های رسمی: نتیجه شبکه FORTEST ، مقالات منتخب منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب روش ها و تست های رسمی: نتیجه شبکه FORTEST ، مقالات منتخب منتخب



این کتاب نتایج کاملاً داوری شده و بررسی شده شبکه روش‌های رسمی و آزمایش (FORTEST) را تشکیل می‌دهد - که به عنوان شبکه‌ای تشکیل شده است که تحت بودجه EPSRC بریتانیا ایجاد شده و روابط بین روش‌های رسمی (و نیمه رسمی) را بررسی می‌کند. و تست نرم افزار - اکنون یک گروه موضوعی از دو گروه مورد علاقه ویژه BCS است: جنبه های رسمی علوم محاسباتی (BCS FACS) و گروه علاقه ویژه در تست نرم افزار (BCS SIGIST).

هر یک از 12 فصل در این کتاب روشی را توصیف می‌کند که در آن مطالعه روش‌های رسمی و تست نرم‌افزار را می‌توان به نحوی ترکیب کرد که مزایای روش‌های رسمی (مانند دقت، وضوح، اثبات‌پذیری) را با مزایای آزمایش (مانند مقیاس‌پذیری، عمومیت، کاربردپذیری) به ارمغان آورد. ).


توضیحاتی درمورد کتاب به خارجی

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).

Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی