Keine direkten Treffer

Teilwort-Treffer

Kein Teilwort-Treffer

Ähnlich geschrieben

Keine ähnlichen Treffer

Wiktionary

Keine direkten Treffer
effektiv-spenden.org - bei uns geht deine Spende an Hilfsorganisationen mit der größten Wirkung

Wikipedia-Links

Modellprüfung · Endlicher Automat · Computation Tree Logic · Kenneth L. McMillan · Carnegie Mellon University · Datentyp · Boolesche Variable · Skalare Variable · Feld (Datentyp) · Fairness · Deadlock (Informatik) · Binäres Entscheidungsdiagramm · Aufzählungstyp · Nichtdeterminismus · Interaktion
Quelle & Lizenz