Algebra, Meaning, and Computation ; Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
- المؤلف
- Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer
- سنة النشر
- 2006
- الناشر
- Springer
- لغة الملف
- انكليزي
- نوع الملف
- Book
- تصنيف الكتاب
- Computer Science
- تحميل الكتاب قراءة الكتاب
This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers by leading researchers in the different areas spanned by Joseph Goguen's work. The papers address a broad variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation.The papers were presented at a Symposium in San Diego, California, USA in June 2006.
الكلمات المفتاحية: Computer science / algebra computer Computer science / Formal language / Formal languages / Multimedia / Programming / Programming language / Verification
