Eine aufbereitete Darstellung der Quelle
Stufen
Anforderungen
|
Konzepte
|
Entwurf
|
Entwicklung
|
Qualitätssicherung
|
Lebenszyklus
|
Steuerung
Ziele
Untersuchung
mit Columbo
Integrität von
Datenbanken
Interaktion und
Portierbarkeit
Ergonomie der
Schnittstellen
Angebot
Produkte
Projekt
Beratung
Mittel
Analytik
Modellierung
Sprachen
Algebra
Logik
Hardware
Denken
Kreativität
Zusammenhänge
Gesellschaft
Wirtschaft
Branche
Firma
Benutzer
products
/
Sources
/
formale Sprachen
/
Isabelle
/
Archive-of-Formal-Proofs
/
thys
/
Knights_Tour
/ (
Archive of formal Proofs
Version 2026-5
©
) Datei vom 31.4.2026 mit Größe 140 B
Bilddatei
sc_edit.png
products/Sources/formale Sprachen/C/LibreOffice/icon-themes/sifr_dark/cmd/sc_edit.png
�PNG IHDR (-S pHYs � ��o�d tEXtSoftware www.inkscape.org��< 3PLTE���������������������������������������������������3Na4 tRNS /G����������|� AIDAT�c` �>���( �Æ& ��, B`f�@��`��ge@Q�������� 9���2&