Hardware Specification, Verification and Synthesis: Mathematical Aspects Lecture Notes in Computer Science, nr. 408 Editat de Miriam Leeser et al. 14 feb 1990 Paperback Preț: 327.92 lei 409.89 lei 43-57 zile -20%