Showing 1 - 17 of 17 Results
1.
Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, D... by Jouannaud, Jean-Pierre, Sha... ISBN: 9783642253782 List Price: $95.00
2.
Algebra, Meaning, And Computation Essays Dedicated to Joseph A. Goguen on the Occasion of Hi... by Futatsugi, Kokichi, Jouanna... ISBN: 9783540354628 List Price: $109.00
3.
Conditional Term Rewriting Systems by Kaplan, Stephane, Jouannaud... ISBN: 9783540192428 List Price: $54.95
4.
Term Rewriting French Spring School Of Theoretical Computer Science, Font Romeux, France, 17... by French Spring School of The... ISBN: 9783540593409 List Price: $59.95
5.
Functional Programming Languages and Computer Architecture by Jouannaud, Jean-Pierre ISBN: 9783540159759 List Price: $69.95
6.
Rewriting Techniques and Applications by Jouannaud, Jean-Pierre ISBN: 9780123909602 List Price: $44.00
7.
Term Rewriting French Spring School of Theoretical Computer Science Font Romeux, France, May... by French Spring School of The... ISBN: 9780387593401 List Price: $59.95
8.
Rewriting Techniques and Applications by Jouannaud, Jean-Pierre ISBN: 9780387159768 List Price: $44.95
9.
Functional Programming Languages and Computer Architecture Nancy, France, September 16-19, 1985 by Jouannaud, Jean-Pierre ISBN: 9780387159751 List Price: $57.95
10.
Tapsoft '93 Theory and Practice of Software Development 4th International Joint Conference ... by Gaudel, Marie-Claude, Jouan... ISBN: 9780387566108 List Price: $129.00
11.
Conditional Term Rewriting Systems, 1st International Workshop by Kaplan, Stephane, Jouannaud... ISBN: 9780387192420 List Price: $49.95
12.
Functional Programming Languages and Computer Architecture by Jouannaud, Jean-Pierre ISBN: 9783662180754 List Price: $24.99
13.
Conditional Term Rewriting Systems by Kaplan, Stephane, Jouannaud... ISBN: 9783662175705 List Price: $24.99
14.
Rewriting Techniques and Applications by Jouannaud, Jean-Pierre ISBN: 9783662176191 List Price: $24.99
15.
Tapsoft '93 : Theory and Practice of Software Development by Gaudel, Marie-Claude, Jouan... ISBN: 9783662175118 List Price: $24.99
16.
Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, ... by Comon, Hubert, Jouannaud, J... ISBN: 9783662191194 List Price: $24.99
17.
Constraints in Computational Logics by Jouannaud, Jean-Pierre ISBN: 9783662212066 List Price: $24.99