The SECD Microprocessor: A Verification Case Study The Springer International Series in Engineering and Computer Science, nr. 178 Autor Brian T. Graham 31 mai 1992 Hardback Preț: 616.95 lei 725.82 lei 43-57 zile -15%