Paperback or Softback. Condizione: New. Verification, Model Checking, and Abstract Interpretation: 9th International Conference, Vmcai 2008, San Francisco, Usa, January 7-9, 2008, Proceeding. Book.
Paperback or Softback. Condizione: New. New Frontiers in Artificial Intelligence: Jsai 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers. Book.