Theorem Provers in Circuit Design: Theory, Practice and Experience Editat de Ramayya Kumar et al. 6 mar 1995 Paperback Preț: 323.17 lei 403.96 lei 6-8 săpt. -20%