Computer Aided Verification Editat de Rajeev Alur et al. 17 iul 1996 Paperback Preț: 332.01 lei 415.02 lei 6-8 săpt. -20%