Denotational Design Serie und verwandte formale FP-Konzepte.
Formale Methoden und Denotational Design: Semantik, Zeitreihen, Agda und Refactoring, ergänzt durch algebraisch getriebene Gestaltung.
Keine Beiträge vorhanden.