دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott (eds.) سری: Lecture Notes in Computer Science 9200 ISBN (شابک) : 9783319231648, 9783319231655 ناشر: Springer International Publishing سال نشر: 2015 تعداد صفحات: 644 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 18 مگابایت
کلمات کلیدی مربوط به کتاب منطق، بازنویسی، و همزمانی: مقالات تقدیم به خوزه مسگوئر به مناسبت شصت و پنجمین سالگرد تولد او: منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، تکنیک های برنامه نویسی، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق، بازنویسی، و همزمانی: مقالات تقدیم به خوزه مسگوئر به مناسبت شصت و پنجمین سالگرد تولد او نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد Festschrift شامل 28 مقاله داوری شامل خاطرات شخصی،
مقالات و مقالات تحقیقاتی منظم توسط همکاران نزدیک و دوستان
خوزه مسگوئر به مناسبت تولد 65 سالگی او می باشد.
این مقالات در سمپوزیومی در دانشگاه ایلینویز در اوربانا-شامپین
در 23 تا 25 سپتامبر 2015 ارائه شد. این سمپوزیوم همچنین شامل
سخنرانی های دعوت شده توسط کلود و هلن کرشنر و پاتریک لینکلن
بود. پیشگفتار این جلد مروری کوتاه بر برخی از دستاوردهای علمی
بسیار خوزه و به دنبال آن فهرستی از مقالات نوشته شده توسط خوزه
میافزاید.
This Festschrift volume contains 28 refereed papers including
personal memories, essays, and regular research papers by
close collaborators and friends of José Meseguer to honor him
on the occasion of his 65th birthday.
These papers were presented at a symposium at the University
of Illinois at Urbana-Champaign on September 23-25, 2015. The
symposium also featured invited talks by Claude and Hélène
Kirchner and by Patrick Lincoln. The foreword of this volume
adds a brief overview of some of José's many scientific
achievements followed by a bibliography of papers written by
José.
Front Matter....Pages I-XI
José Meseguer: Scientist and Friend Extraordinaire....Pages 1-47
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude....Pages 48-71
Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis....Pages 72-96
Computer Modeling in Neuroscience: From Imperative to Declarative Programming....Pages 97-113
Hybrid Multirate PALS....Pages 114-134
Debits and Credits in Petri Nets and Linear Logic....Pages 135-159
Alice and Bob Meet Equational Theories....Pages 160-180
On First-Order Model-Based Reasoning....Pages 181-204
A Normal Form for Stateful Connectors....Pages 205-227
Enlightening Ph.D. Students with the Elegance of Logic....Pages 228-231
Two Decades of Maude....Pages 232-254
Formal Universes....Pages 255-263
When Is a Formula a Loop Invariant?....Pages 264-286
Generic Proof Scores for Generate & Check Method in CafeOBJ ....Pages 287-310
Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting....Pages 311-330
Model-Checking Helena Ensembles with Spin ....Pages 331-360
Modularity of Ontologies in an Arbitrary Institution....Pages 361-379
Rewriting Strategies and Strategic Rewrite Programs....Pages 380-403
Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware....Pages 404-426
Discretionary Information Flow Control for Interaction-Oriented Specifications....Pages 427-450
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications....Pages 451-474
Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later....Pages 475-492
A Denotational Semantic Theory of Concurrent Systems....Pages 493-518
Weak Bisimulation as a Congruence in MSOS....Pages 519-538
Satisfiability of Constraint Specifications on XML Documents....Pages 539-561
Algebraic Reinforcement Learning....Pages 562-579
The Formal System of Dijkstra and Scholten....Pages 580-597
From Rewriting Logic, to Programming Language Semantics, to Program Verification....Pages 598-616
ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge....Pages 617-631
Back Matter....Pages 633-634