Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
Editat de Jean-Pierre Jouannaud et al.
18 noi 2011
Paperback
Preț: 320.73 lei 400.91 lei
6-8 săpt.
-20%
Cărți de Jean-Pierre Jouannaud
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Editat de Kokichi Futatsugi et al.
22 iun 2006
Paperback
Preț: 629.23 lei 786.54 lei
6-8 săpt.
-20%
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
Editat de Hubert Comon et al.
25 apr 1995
Paperback
Preț: 312.15 lei 390.19 lei
6-8 săpt.
-20%
Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings
Editat de Jean-Pierre Jouannaud
24 aug 1994
Paperback
Preț: 319.48 lei 399.36 lei
6-8 săpt.
-20%
TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings
Editat de Marie-Claude Gaudel et al.
6 apr 1993
Paperback
Preț: 633.87 lei 792.34 lei
6-8 săpt.
-20%
Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
Editat de Stephane Kaplan et al.
22 iun 1988
Paperback
Preț: 314.81 lei 393.51 lei
6-8 săpt.
-20%
Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985
Editat de Jean-Pierre Jouannaud
oct 1985
Paperback
Preț: 349.09 lei 436.37 lei
6-8 săpt.
-20%
Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985
Editat de Jean-Pierre Jouannaud
sep 1985
Paperback
Preț: 320.90 lei 401.12 lei
6-8 săpt.
-20%