Higher Order Logic and Hardware Verification Autor T. F. Melham et al. 13 apr 2012 Hardback Preț: 761.57 lei 951.97 lei 43-57 zile -20%