Futatsugi, Kokichi.

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday / [electronic resource] : edited by Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4060 0302-9743 ; . - Lecture Notes in Computer Science, 4060 .

9783540354642

10.1007/11780274 doi


Computer science.
Information theory.
Logic design.
Electronic data processing.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computing Methodologies.
Theory of Computation.
Mathematics of Computing.

QA76.9.L63 QA76.5913 QA76.63

005.1015113

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue