Computer Aided Verification Editat de Pierre Wolper 21 iun 1995 Paperback Preț: 330.75 lei 413.43 lei 6-8 săpt. -20%