Automated Technology for Verification and Analysis Editat de Farn Wang 19 oct 2004 Paperback Preț: 663.27 lei 829.09 lei 6-8 săpt. -20%