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.
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.
Paperback or Softback. Condizione: New. Experimental Algorithms: 5th International Workshop, Wea 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006, Proceedings. Book.