Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 58,81
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Types in Compilation: Third International Workshop, Tic 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers. Book.
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 58,81
Cantidad disponible: 5 disponibles
Añadir al carritoHardback or Cased Book. Condición: New. Automated Theorem Proving in Software Engineering. Book.
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 53,60
Cantidad disponible: 5 disponibles
Añadir al carritoHardback or Cased Book. Condición: New. Vortr�ge Reden Erinnerungen. Book.