Automated Technology for Verification and Analysis Editat de Zhiming Liu et al. 29 sep 2009 Paperback Preț: 328.72 lei 410.89 lei 6-8 săpt. -20%
