Dieses Buch ist ein Lehrbuch fur schnelle, effiziente und korrekte Pro p;rammierung. Es werden Verfahren vorgestellt, die es ermoglichen, sprach- und maschinenunabhangig zu programmieren, und eine Me thode, mit der zweifelsfrei bewiesen werden kann, dass die so entwickel ten Algorithmen korrekt sind, d.h., genau das leisten, was sie leisten sollen. Dazu wird die Top-Down-Konstruktion und die Bottom-Up Verifikation dargestellt. Es wird auf die Ubertragung in gangige und in moderne funktionale und objekt-orientierte Programmiersprachen eingegangen. Systemati sche Testmethoden werden ebenfalls...