Higher Order Logic and Hardware Verification Autor T. Melham 28 feb 2009 Paperback Preț: 285.74 lei 357.16 lei 43-57 zile -20%