Springer 5 15 2006 (3 risultati)

• Brossura

Quantità: 5 disponibili

Paperback or Softback. Condizione: New. Interactive Systems. Design Specification, and Verification: 12th International Workshop, Dsvis 2005, Newcastle Upon Tyne, Uk, July 13-15, 2005, Revis. Book.

• Brossura

Quantità: 5 disponibili

Paperback or Softback. Condizione: New. Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems. Book.

• Brossura

Quantità: 5 disponibili

Paperback or Softback. Condizione: New. Experimental Algorithms: 5th International Workshop, Wea 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006, Proceedings. Book.