Formal Semantics and Proof Techniques for Optimizing VHDL Models
Kothanda Umamageswaran , Sheetanshu L. Pandey , Philip A. Wilsey
Vendido por New Book Sale, London, Reino Unido
Vendedor de AbeBooks desde 11 de diciembre de 2007
Usado - Encuadernación de tapa dura
Condición: Usado - Como Nuevo
Cantidad disponible: 2 disponibles
Añadir al carrito