Formal Verification of Object-Oriented Software Editat de Bernhard Beckert et al. 19 iul 2012 Paperback Preț: 304.60 lei 380.74 lei 6-8 săpt. -20%