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