کتاب های K. Futatsugi
![Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday](http://cdn.ketabkoo.com/covers/0/50107-n.jpg)
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.), 2006![Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday](http://cdn.ketabkoo.com/covers/0/50108-n.jpg)
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.), 2006![CAFE: An Industrial Strength Algebraic Formal Method](http://cdn.ketabkoo.com/covers/1/118363-n.jpg)
CAFE: An Industrial Strength Algebraic Formal Method
K. Futatsugi, A.T. Nakagawa, T. Tamai, 2000![Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings](http://cdn.ketabkoo.com/covers/6/635320-n.jpg)
Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings
Kokichi Futatsugi (auth.), 2002![Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings](http://cdn.ketabkoo.com/covers/6/635321-n.jpg)
Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings
Kokichi Futatsugi (auth.), 2002![[Article] Transcription Factor Network in Embryonic Stem Cells: Heterogeneity under the Stringency](http://cdn.ketabkoo.com/covers/16/1649008-n.jpg)