Modular Specification and Verification of Object-Oriented Programs Autor Peter Müller 23 ian 2002 Paperback Preț: 321.81 lei 402.26 lei 6-8 săpt. -20%