Synchronous Equivalence: Formal Methods for Embedded Systems Autor Harry Hsieh et al. 31 dec 2000 Hardback Preț: 632.81 lei 744.49 lei 43-57 zile -15%