|
vectors_4D_def : THEORY
BEGIN
IMPORTING vectors_3D_def
Vect4 : TYPE = Vect3 WITH [# t: real #]
mk_vect4(x,y,z,t: real) : MACRO Vect4 = (# x := x, y := y, z := z, t := t #)
CONVERSION mk_vect4
END vectors_4D_def
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.0Angebot
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
|
