کتاب های Jean Pierre Jouannaud
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
David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.), 2006
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.), 2011
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.), 2011
Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course
Jean-Pierre Jouannaud (auth.), 1995
