|
finite_total_orders[T: TYPE+, <=: (total_order?[T])]: THEORY
BEGIN
ASSUMING
finite_type: ASSUMPTION is_finite_type[T]
ENDASSUMING
IMPORTING finite_orders[T], total_lattices[T, <=]
% subsumed :)
% leq_is_a_complete_lattice: JUDGEMENT
% <= HAS_TYPE (complete_lattice?[T])
END finite_total_orders
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.1Angebot
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
|
