Computer Aided Verification Editat de Ed Brinksma et al. 19 iul 2002 Paperback Preț: 642.10 lei 802.63 lei 43-57 zile -20%