Opening book details…
Can I read Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 4060) on EtoBox?
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 4060) by David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.) is a computer science book available to read on EtoBox.
What is Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 4060) about?
This volume - honoring the computer science pioneer Joseph Goguen on his 65th Birthday - includes 32 refereed papers by leading researchers in areas spanned by Goguen's work. The papers address a variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation, by key members of the research community in computer science and other fields connected with Joseph Goguen's work.
Who reads Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 4060)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2006
- Language
- EN
- ISBN
- 9783540354642
- Category
- computer science
- Subjects
- Mathematics, Language Learning, Programming
- Updated
- 2026-03-25
More by David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)
Similar books
- Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 5533) — Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (2009)
- Languages Alive : Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday — M. Sakthi Balan, Helmut Jürgensen (auth.), Henning Bordihn, Martin Kutrib, Bianca Truthe (2012)
- Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday (Lecture Notes in Computer Science (5765)) — Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel (auth.), (2010)
- From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Lecture Notes in Computer Science (11865)) — Maurice H. ter Beek; Alessandro Fantechi; Laura Semini; Stefania Gnesi (2019)
- Concurrent Objects And Beyond: Papers Dedicated To Akinori Yonezawa On The Occasion Of His 65th Birthday (lecture Notes In Computer Science) — Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, and Kenjiro Taura (2014)
- Modeled, Tested, Trusted: Essays Dedicated To Ed Brinksma On The Occasion Of His 60th Birthday (lecture Notes In Computer Science) — Joost-Pieter Katoen,Rom Langerak,Arend Rensink (2017)
