دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification
دانلود کتاب گزارش CafeOBJ: زبان ، تکنیک های اثبات و روش های مربوط به مشخصات جبری شی گرا
مشخصات کتاب
CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification
ویرایش: نویسندگان: RaМ†zvan Diaconescu, Kokichi Futatsugi سری: AMAST series in computing, vol. 6 ISBN (شابک) : 9810235135, 9789810235130 ناشر: World Scientific سال نشر: 1998 تعداد صفحات: 196 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
قیمت کتاب (تومان) : 32,000
در صورت تبدیل فایل کتاب CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب گزارش CafeOBJ: زبان ، تکنیک های اثبات و روش های مربوط به مشخصات جبری شی گرا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب گزارش CafeOBJ: زبان ، تکنیک های اثبات و روش های مربوط به مشخصات جبری شی گرا
اخیراً نظریه گروه های جزئی مرتب شده توسط تحلیلگران، جبر شناسان، توپولوژیست ها و نظریه پردازان مدل مورد استفاده قرار گرفته است. این کتاب مهم‌ترین نتایج و موضوعات در نظریه را با اثبات‌هایی ارائه می‌کند که بر سایر حوزه‌های ریاضیات تکیه دارند (و با آنها تعامل دارند). با فهرستی از مشکلات حل نشده به پایان می رسد که خواننده باید با آنها مقابله کند. با تأکید بر تکنیک‌های خاص این رشته و همپوشانی با سایر حوزه‌های ریاضیات محض، این کتاب باید مورد توجه مخاطبان گسترده‌ای در زمینه‌های مختلف ریاضیات باشد. مشخصات پایه - امضاها. مدل ها؛ جمله ها؛ رضایت؛ سیستم اثبات؛ مشخصات ساختاری - معناشناسی اساسی؛ مفاهیم؛ واردات ماژول؛ دیدگاه ها ماژول های پارامتری. عبارات ماژول؛ ماژول های داخلی؛ فن آوری های اثبات - بازنویسی؛ القاء؛ همزمانی؛ روش شناسی - غیر جبرگرایی؛ ترکیب شیء همزمان؛ سیستم های پویا از اشیاء؛ کاربرد در منطق بازنویسی؛ توصیه های کلی روش شناختی کوچک
توضیحاتی درمورد کتاب به خارجی
Recently the theory of partially ordered groups has been used by analysts, algebraists, topologists and model theorists. This book presents the most important results and topics in the theory with proofs that rely on (and interplay with) other areas of mathematics. It concludes with a list of some unsolved problems for the reader to tackle. In stressing both the special techniques of the discipline and the overlap with other areas of pure mathematics, the book should be of interest to a wide audience in diverse areas of mathematics Basic specifications - signatures; models; sentences; satisfaction; proof system; structuring specifications - fundamental semantics; concepts; module imports; views; parameterized modules; module expressions; built-in modules; proof technologies - rewriting; induction; coinduction; methodologies - nondeterminism; concurrent object composition; dynamic systems of objects; applications in rewriting logic; general small methodological advises
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Realoptionen als Controlling-Instrument: Das Beispiel pharmazeutische Forschung und Entwicklung
دانلود کتاب Primary School Management: Learning from Experience: Case Studies by Primary and Middle School Headteachers
دانلود کتاب Don't Just Relate - Advocate!: A Blueprint for Profit in the Era of Customer Power
