دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
دانلود کتاب تأیید، القاء، تجزیه و تحلیل خاتمه: Festschrift برای کریستف والتر به مناسبت شصتمین سالگرد تولد او
مشخصات کتاب
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
ویرایش: 1 نویسندگان: Brigitte Pientka (auth.), Simon Siegler, Nathan Wasser (eds.) سری: Lecture Notes in Computer Science 6463 ISBN (شابک) : 9783642171710, 9783642171727 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 151 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب تأیید، القاء، تجزیه و تحلیل خاتمه: Festschrift برای کریستف والتر به مناسبت شصتمین سالگرد تولد او: مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، منطق و معانی برنامه ها، هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)
در صورت تبدیل فایل کتاب Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید، القاء، تجزیه و تحلیل خاتمه: Festschrift برای کریستف والتر به مناسبت شصتمین سالگرد تولد او نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید، القاء، تجزیه و تحلیل خاتمه: Festschrift برای کریستف والتر به مناسبت شصتمین سالگرد تولد او
این جلد Festschrift که به افتخار کریستف والتر منتشر شده است، حاوی مطالبی است که توسط برخی از همکاران، دانشجویان سابق و دوستان او نوشته شده است. به مناسبت شصتمین سالگرد تولد آلخاندرو پی بوخمن، سورین آ. هوس و کریستوف والتر، کنفرانسی در 19 نوامبر 2010 در دارمشتات آلمان برگزار شد.
مقالات جمع آوری شده در اینجا برخی از موضوعات اصلی علایق پژوهشی کریستف والتر مانند مدل سازی رسمی، اثبات قضیه، استقراء و تحلیل خاتمه را پوشش می دهد. آنها با هم دیدگاه کلی خوبی در مورد تأیید رسمی صحت سیستم های نرم افزاری ارائه می دهند.
توضیحاتی درمورد کتاب به خارجی
This Festschrift volume, published in honor of Christoph Walther, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthdays of Alejandro P. Buchmann, Sorin A. Huss and Christoph Walther, a colloquium was held on November 19th, 2010 in Darmstadt, Germany.
The articles collected herein cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis. Together they give a good overall perspective on the formal verification of the correctness of software systems.
فهرست مطالب
Front Matter....Pages -
Programming Inductive Proofs....Pages 1-16
Termination Graphs for Java Bytecode ....Pages 17-37
Specifying and Verifying Organizational Security Properties in First-Order Logic....Pages 38-53
Change Management for Heterogeneous Development Graphs....Pages 54-80
The VATES-Diamond as a Verifier’s Best Friend....Pages 81-101
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery....Pages 102-116
Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners)....Pages 117-128
Second-Order Programs with Preconditions....Pages 129-143
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Between flesh and steel: a history of military medicine from the Middle Ages to the war in Afghanistan
دانلود کتاب Great battles of World War II: how the Allies defeated the Axis powers
دانلود کتاب Seismic Tomography: With Applications in Global Seismology and Exploration Geophysics
دانلود کتاب Biotechnology and the Human Genome: Innovations and Impact
