Paperback or Softback. Condizione: New. Formal Verification of Object-Oriented Software: International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Book.
Paperback or Softback. Condizione: New. Pricai 2012: Trends in Artificial Intelligence: 12th Pacific Rim International Conference, Kuching, Malaysia, September 3-7, 2012. Proceedings. Book.