weakest precondition - Deutsch Englisch Wörterbuch