Computer Aided Verification Editat de Rajeev Alur et al. 17 iul 1996 Paperback Preț: 332.01 lei 415.02 lei 43-57 zile -20%