ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences (Nato Science)

دانلود کتاب فناوری اثبات و محاسبات، جلد 200 سری علوم ناتو: علوم رایانه و سیستم (علوم ناتو)

Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences (Nato Science)

مشخصات کتاب

Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences (Nato Science)

دسته بندی: کامپیوتر
ویرایش:  
نویسندگان: ,   
سری:  
ISBN (شابک) : 1586036254, 9781423797555 
ناشر:  
سال نشر: 2006 
تعداد صفحات: 455 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت 

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



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

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


در صورت تبدیل فایل کتاب Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences (Nato Science) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب فناوری اثبات و محاسبات، جلد 200 سری علوم ناتو: علوم رایانه و سیستم (علوم ناتو) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب فناوری اثبات و محاسبات، جلد 200 سری علوم ناتو: علوم رایانه و سیستم (علوم ناتو)

فناوری اثبات به یک زمینه تثبیت شده در مهندسی نرم افزار تبدیل خواهد شد. هدف آن به طور کلی ادغام پردازش اثبات در طراحی صنعتی و ابزارهای تأیید است. خاستگاه این فناوری در درک سیستماتیک یک مفهوم کاملاً دقیق و دقیق از اثبات توسط ریاضیات و منطق نهفته است. با استفاده از این درک عمیق، دانشمندان کامپیوتر قادر به پیاده سازی اثبات ها، بررسی و ایجاد آنها به طور خودکار و ارتباط مفاهیم اثبات و برنامه ها به روشی عمیق هستند. از این طریق، اثبات اتصال برای پشتیبانی از توسعه سیستم های نرم افزاری قابل اعتماد استفاده می شود. مهندسان نرم افزار پردازش اثبات را در ابزارهای توسعه صنعتی ادغام کرده اند و این پیاده سازی ها اکنون بسیار کارآمد هستند. فصل‌های این کتاب به موارد زیر می‌پردازد: مزایا و چالش‌های فنی اشتراک‌گذاری ریاضیات رسمی در میان اثبات‌کنندگان قضیه تعاملی. عادی سازی اثبات برای نظریه های بدیهی مختلف؛ چارچوب انتزاعی-پالایش بررسی مدل منطق زمانی. تایید رسمی در طراحی سخت افزار صنعتی؛ اثبات‌ها و معناشناسی قابل خواندن ماشینی بررسی شده و موارد دیگر. IOS Press یک ناشر علمی، فنی و پزشکی بین‌المللی کتاب‌های با کیفیت بالا برای دانشگاهیان، دانشمندان و متخصصان در همه زمینه‌ها است. برخی از حوزه هایی که در این زمینه منتشر می کنیم: -زیست پزشکی - سرطان شناسی - هوش مصنوعی - پایگاه های داده و سیستم های اطلاعاتی - مهندسی دریایی - فناوری نانو - مهندسی زمین - همه جنبه های فیزیک - حکومت الکترونیک - تجارت الکترونیک - اقتصاد دانش - مطالعات شهری - کنترل تسلیحات - درک و پاسخ به تروریسم - انفورماتیک پزشکی - علوم کامپیوتر


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

Proof technology will become an established field in software engineering. It generally aims at integrating proof processing into industrial design and verifications tools. The origins of this technology lie in the systematic understanding of a fully-fledged, precise notion of proof by mathematics and logics. Using this profound understanding, computer scientists are able to implement proofs, to check and create them automatically and to connect the concepts of proof and programs in a deep way. Via this, connection proofs are used to support the development of reliable software systems. Software engineers have integrated proof processing into industrial development tools, and these implementations are now getting very efficient. The chapters in this book deal with: The benefits and technical challenges of sharing formal mathematics among interactive theorem provers; proof normalization for various axiomatic theories; abstraction-refinement framework of temporal logic model checking; formal verification in industrial hardware design; readable machine-checked proofs and semantics and more.IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields. Some of the areas we publish in: -Biomedicine -Oncology -Artificial intelligence -Databases and information systems -Maritime engineering -Nanotechnology -Geoengineering -All aspects of physics -E-governance -E-commerce -The knowledge economy -Urban studies -Arms control -Understanding and responding to terrorism -Medical informatics -Computer Sciences





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