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 6-8 săpt. -20%