Advances in Logic Programming Theory
Editat de Giorgio Levi
28 dec 1994
Hardback
Preț: 674.29 lei 1061.75 lei
31-37 zile
-36%
Cărți de Giorgio Levi
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
Editat de Bernhard Steffen et al.
7 ian 2004
Paperback
Preț: 327.98 lei 409.97 lei
6-8 săpt.
-20%
Static Analysis: 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings
Editat de Giorgio Levi
2 sep 1998
Paperback
Preț: 330.87 lei 413.58 lei
6-8 săpt.
-20%
Algebraic and Logic Programming: 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings
Editat de Giorgio Levi et al.
24 aug 1994
Paperback
Preț: 327.02 lei 408.78 lei
6-8 săpt.
-20%
Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings
Editat de Helene Kirchner et al.
19 aug 1992
Paperback
Preț: 334.10 lei 417.63 lei
6-8 săpt.
-20%
Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings
Editat de Mauro Boscarol et al.
27 apr 1988
Paperback
Preț: 322.63 lei 403.29 lei
6-8 săpt.
-20%
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
Editat de Hartmut Ehrig et al.
27 feb 1987
Paperback
Preț: 300.74 lei 375.92 lei
6-8 săpt.
-20%
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87)
Editat de Hartmut Ehrig et al.
27 feb 1987
Paperback
Preț: 298.64 lei 373.30 lei
6-8 săpt.
-20%