Synchronous Equivalence: Formal Methods for Embedded Systems Autor Harry Hsieh et al. 5 noi 2012 Paperback Preț: 608.90 lei 716.36 lei 6-8 săpt. -15%