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