Automated Technology for Verification and Analysis Editat de Madhavan Mukund et al. 16 aug 2012 Paperback Preț: 329.94 lei 412.42 lei 43-57 zile -20%