Computer Aided Verification Editat de Pierre Wolper 21 iun 1995 Paperback Preț: 330.75 lei 413.43 lei 43-57 zile -20%