Computer Aided Verification Editat de Ed Brinksma et al. 19 iul 2002 Paperback Preț: 642.10 lei 802.63 lei 6-8 săpt. -20%