Algebra, Meaning, and Computation
Publication year: 2006
ISBN: 978-3-540-35464-2
Internet Resource: Please Login to download book
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.
Subject: Computer Science, algebra computer computer science, formal language, formal languages, multimedia, programming, programming language, verification
