Modular Specification and Verification of Object-Oriented Programs

'Energies' presents the work of Ingenhoven Overdiek and Partner, one of Germany's most successful young architectural offices, for the first time. Introductory essays outline the methods and approach of the office, placing it within the context of the international architecture scene and history, followed by a thematic presentation of their most important projects: 'Working Worlds' shows innovative designs for workplaces in offices and industry, including the new headquarters for the publishing house, Burda. In 'Resources and ecology' the RWE high-rise in Essen, the Wan Xiang International Plaza in Shanghai, and the design for the administration offices at the Commerzbank in Frankfurt are amongst the most spectacular buildings documented. The chapter 'Mobility' provides the first detailed portrayal of the design for the new central station in Stuttgart. Recent projects such as a department store in Lübeck or the 'Central Park Berlin' are discussed in the chapter 'Town and Landscape'.Müller, Paul is the author of 'Modular Specification and Verification of Object-Oriented Programs' with ISBN 9783540431671 and ISBN 3540431675.