Automated Technology for Verification and Analysis Editat de Farn Wang 19 oct 2004 Paperback Preț: 633.38 lei 791.72 lei 43-57 zile -20%