Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Futatsugi, Kokichi (Επιμελητής έκδοσης), Jouannaud, Jean-Pierre (Επιμελητής έκδοσης), Meseguer, José (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4060
• Θέματα: Computer science.; Computers.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Computing Methodologies.; Theory of Computation.; Mathematics of Computing.

Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research contributions span many topics and have changed the way we think about many concepts. Our views about data types, programming languages, software specification and verification, computational behavior, lo...