Automated Technology for Verification and Analysis Editat de Madhavan Mukund et al. 16 aug 2012 Paperback Preț: 328.94 lei 411.17 lei 6-8 săpt. -20%