Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
Editat de Gerard Berry et al.
4 iul 2001
Paperback
Preț: 622.79 lei 778.48 lei
6-8 săpt.
-20%
Cărți de Hubert Comon
Constraints in Computational Logics: Theory and Applications: International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
Editat de Hubert Comon et al.
18 apr 2001
Paperback
Preț: 316.37 lei 395.45 lei
6-8 săpt.
-20%
Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings
Editat de Hubert Comon
14 mai 1997
Paperback
Preț: 317.91 lei 397.38 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%