% two rewrite rules missing in function_image
%
% Author: Alfons Geser ([email protected]), National Institute of Aerospace
% Date: Jan 2005
function_image_extra[D, R: TYPE]: THEORY
BEGIN
f: VAR [D -> R]
x: VAR D
X: VAR set[D]
image_singleton: LEMMA
image(f, singleton(x)) = singleton(f(x))
image_add: LEMMA
image(f, add(x, X)) = add(f(x), image(f, X))
END function_image_extra
¤ 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
|
