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
kleine Reime
Beratung
Mittel
Analytik
Modellierung
Sprachen
Algebra
Logik
Hardware
Delphe-, Java-Programme und anderes
Kreativität
Zusammenhänge
Gesellschaft
Wirtschaft
Branche
Firma
einige Melodien
products
/
Sources
/
formale Sprachen
/
Isabelle
/
HOL
/
Metis_Examples
/ (
Isabelle Prover
Version 2025-1
©
) Datei vom 16.11.2025 mit Größe 36 kB
Laden der Quelle nicht möglich
Anfrage:
2026-08-25
Neuigkeiten
Aktuelles
Motto des Tages
Open Source Software
Quellcodebibliothek
Eigene Quellcodes
Fremde Quellcodes
Suchen
Jenseits des Üblichen ....
Besucherstatistik
Statistik
#Sources=277311
#Domains=752002
Impressum
|
Ethik und Gesetz
|
Haftungsausschluß
|
Kontakt
|
Seitenstruktur
|
©
2026 JDD
|