|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Restriction of continuous functions %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
restriction_continuous[T1 : TYPE FROM real ] : THEORY
BEGIN
IMPORTING continuous_functions
f : VAR [real -> real]
restrict_continuous : LEMMA
continuous?(f) IMPLIES continuous?[T1](f)
END restriction_continuous
¤ 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
|
