Automated Technology for Verification and Analysis Editat de Dang Van Hung et al. 11 sep 2013 Paperback Preț: 333.61 lei 417.02 lei 6-8 săpt. -20%