Paperback or Softback. Condizione: New. Automated Deduction - Cade-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings. Book.
Paperback or Softback. Condizione: New. Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings. Book.