دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
دانلود کتاب تأیید صحت: نظریه و عمل: مقاله های اختصاص داده شده به زوهر مانا به مناسبت 64 سالگی
مشخصات کتاب
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Nachum Dershowitz (auth.), Nachum Dershowitz (eds.) سری: Lecture Notes in Computer Science 2772 ISBN (شابک) : 3540210024, 9783540210023 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 795 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 36,000
کلمات کلیدی مربوط به کتاب تأیید صحت: نظریه و عمل: مقاله های اختصاص داده شده به زوهر مانا به مناسبت 64 سالگی: منطق و معانی برنامه‌ها، سیستم‌های مبتنی بر هدف خاص و کاربردی، مهندسی نرم‌افزار، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، محاسبات با دستگاه‌های انتزاعی، منطق ریاضی و زبان‌های رسمی
در صورت تبدیل فایل کتاب Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید صحت: نظریه و عمل: مقاله های اختصاص داده شده به زوهر مانا به مناسبت 64 سالگی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید صحت: نظریه و عمل: مقاله های اختصاص داده شده به زوهر مانا به مناسبت 64 سالگی
این جلد festschrift یک ادای احترام بی نظیر به Zohar Manna به مناسبت تولد 64 سالگی او است. مانند کار علمی زوهر ماننا، 32 مقاله تحقیقاتی تمام حوزه منطقی علوم کامپیوتر را در بر می گیرد. همچنین شامل کتابی به Zohar Manna توسط ویرایشگر حجم است.
مقالات ارائه شده به تئوری محاسبات، معناشناسی برنامه، منطق برنامه ها، منطق زمانی، کسر خودکار، رویه های تصمیم گیری، بررسی مدل، سیستم‌های همزمان، سیستم‌های واکنشی، تأیید سخت‌افزار و نرم‌افزار، آزمایش، مهندسی نرم‌افزار، مشخصات نیازمندی‌ها، و ترکیب برنامه.
توضیحاتی درمورد کتاب به خارجی
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor.
The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis.
فهرست مطالب
Front Matter....Pages I-XV
Pæan to Zohar Manna....Pages 1-10
A Logic of Object-Oriented Programs....Pages 11-41
Formal Analysis of Hierarchical State Machines....Pages 42-66
Abstraction as the Key for Invariant Verification....Pages 67-99
Domain Engineering: a “Radical Innovation” for Software and Systems Engineering?....Pages 100-144
The ASM Ground Model Method as a Foundation of Requirements Engineering....Pages 145-160
A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems....Pages 161-181
Notes from the Logbook of a Proof-Checker’s Project*....Pages 182-207
Counterexamples Revisited: Principles, Algorithms, Applications....Pages 208-224
Easy Intruder Deductions....Pages 225-242
Verification by Abstract Interpretation....Pages 243-268
Game Models for Open Systems....Pages 269-289
A Compositional Operational Semantics for Java MT ....Pages 290-303
Bounded Fairness....Pages 304-317
Efficient Boundary Values Generation in General Metric Spaces for Software Component Testing....Pages 318-331
Extreme Model Checking....Pages 332-358
Automata Mista....Pages 359-372
Aspect Validation Using Model Checking....Pages 373-394
Qualitative Theorem Proving in Linear Constraints....Pages 395-406
Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems....Pages 407-435
A Formal Basis for Reasoning on Programmable QoS....Pages 436-479
A Hierarchical Completeness Proof for Propositional Temporal Logic....Pages 480-523
Computational Proof as Experiment: Probabilistic Algorithms from a Thermodynamic Perspective....Pages 524-547
Unit Checking: Symbolic Model Checking for a Unit of Code....Pages 548-567
Colimits for Concurrent Collectors....Pages 568-597
tlpvs : A pvs -Based ltl Verification System....Pages 598-625
Binary Extensions of S1S and the Composition Method....Pages 626-644
Deriving Efficient Graph Algorithms....Pages 645-681
Petri Net Analysis Using Invariant Generation....Pages 682-701
Fair Equivalence Relations....Pages 702-732
Digital Algebra and Circuits....Pages 733-746
Program Synthesis for Multi-agent Question Answering....Pages 747-761
Combining Sets with Elements....Pages 762-782
Back Matter....Pages 783-786
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Modern operating systems
دانلود کتاب The Complete Guide to Shodan: Collect. Analyze. Visualize. Make Internet Intelligence Work For You
دانلود کتاب Mastering Microsoft Lync Server 2013
دانلود کتاب Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
دانلود کتاب Digital Signal ProcessingDsp A Computer Based Approach Solution Manual
دانلود کتاب Implementation and Application of Functional Languages: 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
دانلود کتاب Advances in Computers, Vol. 28
دانلود کتاب Computer Analysis of Images and Patterns: 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009. Proceedings
