Computerprogrammierung und SoftwareentwicklungMaritta Heisel ×Deutscher Universitätsverlag × Formale Programmentwicklung mit dynamischer Logik Maritta HeiselDeutscher UniversitätsverlagSoftcover1992