|
tau_declaration % [ parameters ]
: THEORY
BEGIN
% ASSUMING
% assuming declarations
% ENDASSUMING
tau_type: TYPE = [ pn: posnat -> {t: nat | 2 * t < pn}]
n: VAR nat
pn: VAR posnat
nada: tau_type = LAMBDA pn: 0
mid: tau_type = LAMBDA pn: floor((pn - 1) / 2)
byz: tau_type = LAMBDA pn: floor(pn/3)
weber(n): tau_type = LAMBDA pn: IF floor(n/2) < pn AND pn <= n THEN pn - 1 - floor(n/2) ELSE 0 ENDIF
END tau_declaration
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.16Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Entwicklung einer Software für die statische Quellcodeanalyse
|
