Current Trends in Hardware Verification and Automated Theorem Proving Editat de Graham Birtwistle et al. 17 sep 2011 Paperback Preț: 630.38 lei 787.98 lei 43-57 zile -20%