weakest precondition - Spanisch Englisch Wörterbuch