Synchronous Equivalence: Formal Methods for Embedded Systems Autor Harry Hsieh et al. 31 dec 2000 Hardback Preț: 658.22 lei 774.39 lei 6-8 săpt. -15%