Automated Technology for Verification and Analysis Editat de Sungdeok Cha et al. 6 oct 2008 Paperback Preț: 342.90 lei 428.63 lei 6-8 săpt. -20%
