products
/
sources
/
formale Sprachen
/
Coq
/
doc
/
changelog
/
02-specification-language
/
Quellcode-Bibliothek
©
Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: SADebugDTest.java Sprache: Unknown
Spracherkennung für: .rst vermutete Sprache: HTML {HTML[93] Ada[165] Abap[316]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
**Specification language, type inference**
[ Dauer der Verarbeitung: 0.81 Sekunden
]