Computer Aided Verification Editat de Jr. Hunt et al. 27 iun 2003 Paperback Preț: 331.38 lei 414.22 lei 6-8 săpt. -20%
Logic Synthesis and Verification Algorithms Autor Gary D. Hachtel et al. 18 mar 2013 Paperback Preț: 587.77 lei 691.50 lei 6-8 săpt. -15%