Paperback or Softback. Condizione: New. Logic Programming: 21st International Conference, Iclp 2005, Sitges, Spain, October 2-5, 2005, Proceedings. Book.
Paperback or Softback. Condizione: New. Formal Methods for Components and Objects: Third International Symposium, Fmco 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures. Book.