Jean-Pierre Jouannaud – författare
Visar alla böcker från författaren Jean-Pierre Jouannaud.
8 produkter
Functional Programming Languages and Computer Architecture
Proceedings, Nancy, France, September 16-19, 1985
Häftad, 1985
739 kr
Lägg i varukorg
Rewriting Techniques and Applications
Dijon, France, May 20-22, 1985
Häftad, 1985
589 kr
Lägg i varukorg
Conditional Term Rewriting Systems
1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
Av Stephane Kaplan, Jean-Pierre Jouannaud
Häftad, 1988
739 kr
Lägg i varukorg
Algebra, Meaning, and Computation
Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Av Kokichi Futatsugi, Jean-Pierre Jouannaud m. fl.
Häftad, 2006
1419 kr
Lägg i varukorg
TAPSOFT '93: Theory and Practice of Software Development
4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings
Av Marie-Claude Gaudel, Jean-Pierre Jouannaud
Häftad, 1993
1469 kr
Lägg i varukorg
Constraints in Computational Logics
First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings
Häftad, 1994
719 kr
Lägg i varukorg
Term Rewriting
French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
Av Hubert Comon, Jean-Pierre Jouannaud
Häftad, 1995
739 kr
Lägg i varukorg
Certified Programs and Proofs
First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
Av Jean-Pierre Jouannaud, Zhong Shao
Häftad, 2011
739 kr
Lägg i varukorg