|
partial_order_lift[T:TYPE]: THEORY
BEGIN
IMPORTING lift_props[T],
directed_orders[T],
directed_orders[lift[T]]
<=: VAR (directed_complete_partial_order?[T])
lift(<=):(pointed_directed_complete_partial_order?[lift[T]])
= (LAMBDA (x,y:lift[T]):
x = bottom OR (y /= bottom AND down(x) <= down(y)))
END partial_order_lift
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.16Angebot
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
|
