Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion: 1979-01-07 - 1979-01-13

For more detailed information please click on the photo.