00357nam a2200109Ia 4500008004100000020002200041041001200063100006400075245005500139260003200194650002100226231221s9999 xx 000 0 und d a978-1-4020-3532-6 aEnglish aManfred Broy, Johannes Grünbauer, David Harel, Tony Hoare 0aEngineering Theories of Software Intensive Systems c2005bSpringer USaNew York aComputer Science