دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logics of Specification Languages
دانلود کتاب منطق زبانهای خصوصی
مشخصات کتاب
Logics of Specification Languages
دسته بندی: منطق ویرایش: نویسندگان: Dines Bjørner. Martin C. Henson (eds.) سری: Monographs in Theoretical Computer Science. An EATCS Series ISBN (شابک) : 9783540741077, 9783540741060 ناشر: Springer سال نشر: 2008 تعداد صفحات: 636 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 44,000
در صورت تبدیل فایل کتاب Logics of Specification Languages به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق زبانهای خصوصی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق زبانهای خصوصی
"با یک زبان مشخص، ما یک سیستم رسمی از نحو، معناشناسی و قواعد اثبات را درک می کنیم. نحو و معناشناسی یک زبان را تعریف می کند؛ قوانین اثبات یک سیستم اثبات را تعریف می کند. مشخصات عبارت هایی در زبان هستند، و استدلال بر روی ویژگی های این مشخصات است. در سیستم اثبات انجام شده است. این کتاب مطالعات جامعی را بر روی 9 زبان خصوصی و منطق استدلال آنها ارائه می دهد. با ارجاعات و اشاره های گسترده به پیشرفت های آینده، این کتاب مورد توجه محققان و دانشجویان فارغ التحصیل درگیر با زبان های مشخصات رسمی خواهد بود.\"- -ژاکت بیشتر بخوانید... بررسی اجمالی / داینز بیورنر و مارتین سی هنسون -- چکیده ماشین های حالت برای کلاس درس / ولفگانگ ریسیگ -- روش مدل سازی رویداد-B: مفاهیم و مطالعات موردی / دومینیک کانسل و دومینیک مری -- راهنمای روش شناختی به منطق CafeOBJ / Răzvan Diaconescu -- CASL، زبان مشخصات جبری مشترک / T. Mossakowski، A. Haxthausen، D. Sannella و A. Tarlecki -- حساب مدت زمان / Michael R. Hansen -- منطق زبان مشخصات RAISE / کریس جورج و آن ای. هاکستاوزن -- زبان مشخصات TLA+ / استفان مرز -- منطق تایپی شده توابع جزئی و روش توسعه وین / جان اس. فیتزجرالد -- منطق Z و کاربردهای آن / M.C. هنسون، ام. دویچ و اس. ریوز -- نظرات / داینز بیورنر و مارتین سی هنسون
توضیحاتی درمورد کتاب به خارجی
"By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the proof system. This book presents comprehensive studies on nine specification languages and their logics of reasoning. With extensive references and pointers to future developments, this book will be of interest to researchers and graduate students engaged with formal specification languages."--Jacket. Read more... An Overview / Dines Bjørner and Martin C. Henson -- Abstract State Machines for the classroom / Wolfgang Reisig -- The event-B modelling method: concepts and case studies / Dominique Cansell and Dominique Méry -- A methodological guide to the CafeOBJ logic / Răzvan Diaconescu -- CASL, the Common Algebraic Specification Language / T. Mossakowski, A. Haxthausen, D. Sannella and A. Tarlecki -- Duration calculus / Michael R. Hansen -- The logic of the RAISE specification language / Chris George and Anne E. Haxthausen -- The specification language TLA+ / Stephan Merz -- The typoed logic of partial functions and the Vienna development method / John S. Fitzgerald -- Z logic and its applications / M.C. Henson, M. Deutsch and S. Reeves -- Reviews / Dines Bjørner and Martin C. Henson
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Linear Logic
دانلود کتاب Thinking before Acting. Intentions, Logic, Rational Choice [PhD Thesis]
دانلود کتاب An Introduction to Gödel's Theorems
دانلود کتاب Model Theory
دانلود کتاب Abstracts of Karl Rahner's Theological Investigations I-23
دانلود کتاب Hegel and the Logical Structure of Love
دانلود کتاب Glory in Our Midst: A Biblical-Theological Reading of Zechariah's Night Visions
دانلود کتاب The Temporal Mind: Observations on the logic of belief change in interactive systems [PhD Thesis]
دانلود کتاب Agreeable Agreement: An Examination of the Quest for Consensus in Ecumenical Dialogue (Ecclesiological Investigations)
