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