× Formale Programmentwicklung mit dynamischer Logikvon Maritta HeiselIX, 288 S. Verfügbarkeit jetzt prüfen