Hardware Specification, Verification and Synthesis: Mathematical Aspects Editat de Miriam Leeser et al. 14 feb 1990 Paperback Preț: 326.91 lei 408.64 lei 6-8 săpt. -20%