]> 2026-07-16T21:11:17+00:00 Kennedy, H. (2002): Giuseppe Peano 0 de-formal Kennedy, H. (2002): Giuseppe Peano Typentheorie (Mengenlehre) 0 de-formal Typentheorie (Mengenlehre) McCarthy, J. et. al. (1960): LISP I Programmer's Manual 0 de-formal McCarthy, J. et. al. (1960): LISP I Programmer's Manual Liskov, B.; Wing, J.M. (1993): Family Values – A Behavioral Notion of Subtyping 0 de-formal Liskov, B.; Wing, J.M. (1993): Family Values – A Behavioral Notion of Subtyping DIS 9075-2:2014 0 de-formal DIS 9075-2:2014 ISO/IEC TR 19075-6:2017 0 de-formal ISO/IEC TR 19075-6:2017 ISO/IEC TR 19075-5:2016 0 de-formal ISO/IEC TR 19075-5:2016 ISO/IEC TR 19075-4:2015 0 de-formal ISO/IEC TR 19075-4:2015 ISO/IEC TR 19075-3:2015 0 de-formal ISO/IEC TR 19075-3:2015 ISO/IEC TR 19075-2:2015 0 de-formal ISO/IEC TR 19075-2:2015 ISO/IEC TR 19075-1:2011 0 de-formal ISO/IEC TR 19075-1:2011 DIS 9075-3:2014 0 de-formal DIS 9075-3:2014 DIS 9075-11:2014 0 de-formal DIS 9075-11:2014 KMK (2010): Ländergemeinsame Strukturvorgaben für die Akkreditierung von Bachelor-und Masterstudiengängen 0 de-formal KMK (2010): Ländergemeinsame Strukturvorgaben für die Akkreditierung von Bachelor-und Masterstudiengängen Zitat:Quelle 102 de-formal Zitat:Quelle REDI 102 de-formal REDI