Formal Methods for Hardware Verification. 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006. [Notes in Computer Science, Vol. 3965].
Bernardo, Marco:
Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 3 de mayo de 2002
Usado -
Cantidad disponible: 1 disponibles
Añadir al carrito