PRADHAN, D.K. PRACTICAL DESIGN VERIFICATION - Cambridge Cambridge University Press 2009 - xi+276p,.24x17Cms. ISBN: 0521859721 Dewey Class. No.: 621.381548 P896