Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion: 1982-01-04 - 1982-01-08

For more detailed information please click on the photo.