Jean-Pierre Jouannaud – författare

Visar alla böcker från författaren .

8 produkter

Kategorier

8 produkter

Functional Programming Languages and Computer Architecture
Proceedings, Nancy, France, September 16-19, 1985
AvJean-Pierre Jouannaud
Häftad, Engelska, 1985
729 kr
Skickas inom 10-15 vardagar
Rewriting Techniques and Applications
Dijon, France, May 20-22, 1985
AvJean-Pierre Jouannaud
Häftad, Engelska, 1985
589 kr
Skickas inom 10-15 vardagar
Conditional Term Rewriting Systems
1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
AvStephane Kaplan,Jean-Pierre Jouannaud
Häftad, Engelska, 1988
729 kr
Skickas inom 10-15 vardagar
Algebra, Meaning, and Computation
Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
AvKokichi Futatsugi,Jean-Pierre Jouannaudm. fl.
Häftad, Engelska, 2006
1 409 kr
Skickas inom 10-15 vardagar
TAPSOFT '93: Theory and Practice of Software Development
4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings
AvMarie-Claude Gaudel,Jean-Pierre Jouannaud
Häftad, Engelska, 1993
1 449 kr
Skickas inom 10-15 vardagar
Constraints in Computational Logics
First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings
AvJean-Pierre Jouannaud
Häftad, Engelska, 1994
709 kr
Skickas inom 10-15 vardagar
Term Rewriting
French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
AvHubert Comon,Jean-Pierre Jouannaud
Häftad, Engelska, 1995
729 kr
Skickas inom 10-15 vardagar
Certified Programs and Proofs
First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
AvJean-Pierre Jouannaud,Zhong Shao
Häftad, Engelska, 2011
729 kr
Skickas inom 10-15 vardagar