دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: نویسندگان: K. Spies, H. Schwichtenberg سری: ISBN (شابک) : 1586036254, 9781423797555 ناشر: سال نشر: 2006 تعداد صفحات: 455 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
در صورت تبدیل فایل کتاب Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences (Nato Science) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب فناوری اثبات و محاسبات، جلد 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