Hoppa till sidans huvudinnehåll

Jean-Pierre Jouannaud - Böcker

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

AvJean-Pierre Jouannaud

Häftad, Engelska, 1985

709 kr

Skickas inom 10-15 vardagar

Rewriting Techniques and Applications

Dijon, France, May 20-22, 1985

AvJean-Pierre Jouannaud

Häftad, Engelska, 1985

569 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

709 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 Jouannaud m. fl.

Häftad, Engelska, 2006

1 379 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 419 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

689 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

709 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

719 kr

Skickas inom 10-15 vardagar