|
Outcome : DATATYPE
BEGIN
IMPORTING list[real]
IsTrue : istrue?
Counterexample(counterexample:(cons?)) : isfalse?
Unknown : unknown?
END Outcome
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.17Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
Ziele
Entwicklung einer Software für die statische Quellcodeanalyse
|
