Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)
暫譯: 邏輯、重寫與併發：獻給何塞·梅塞奎爾65歲生日的論文集（計算機科學講義）
- 出版商: Springer
- 出版日期: 2015-08-21
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 648
- 裝訂: Paperback
- ISBN: 3319231642
- ISBN-13: 9783319231648
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
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é.
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é.
商品描述(中文翻譯)
本紀念文集包含28篇經過審核的論文，包括個人回憶、隨筆以及由何塞·梅塞奎爾（José Meseguer）的親密合作者和朋友撰寫的常規研究論文，以此來慶祝他65歲的生日。這些論文於2015年9月23日至25日在伊利諾伊大學厄本那-香檳分校的研討會上發表。研討會還邀請了克勞德·基爾希納（Claude Kirchner）、海倫·基爾希納（Hélène Kirchner）和帕特里克·林肯（Patrick Lincoln）進行演講。本卷的前言簡要概述了何塞的眾多科學成就，隨後附上了何塞撰寫的論文書目。
