21199361
9783642180699
Out of Stock
The item you're looking for is currently unavailable.
Beckert, Bernhard is the author of 'Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers ... / Programming and Software Engineering)', published 2011 under ISBN 9783642180699 and ISBN 3642180698.
[read more]