TY  - THES
U1  - Bachelor Thesis
A1  - Moritz, Jennifer
T1  - LA+ statt Pseudocode
N2  - kein Abstract vorhanden
KW  - Algorithmus
KW  - Theoretische Informatik
KW  - Spezifikationssprache
KW  - Pseudocode
KW  - TLA
Y2  - 2018
U6  - https://nbn-resolving.org/urn:nbn:de:gbv:916-opus4-8951
UN  - https://nbn-resolving.org/urn:nbn:de:gbv:916-opus4-8951
SP  - 63
S1  - 63
ER  -