Formal Verification of Object-Oriented Software Editat de Bernhard Beckert et al. 19 iul 2012 Paperback Preț: 292.01 lei 365.01 lei 43-57 zile -20%