Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 58,13
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Interactive Systems. Design Specification, and Verification: 12th International Workshop, Dsvis 2005, Newcastle Upon Tyne, Uk, July 13-15, 2005, Revis. Book.
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 58,13
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Book.
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 84,93
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Experimental Algorithms: 5th International Workshop, Wea 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006, Proceedings. Book.