Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: WooLam.thy Sprache: Unknown

Untersuchung PVS^©

%--------------------------------------
% Lookahead
%--------------------------------------

Lookahead[B:real,T:real] : THEORY

BEGIN

Lookahead : TYPE = {t:nnreal | B <= t AND t <= T}

END Lookahead

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.25Angebot Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤

vermutete Sprache: Sekunden
vermutete Sprache: Hier finden Sie eine Liste der Produkte des Unternehmens
Mittel

Lebenszyklus

Die hierunter aufgelisteten Ziele sind für diese Firma wichtig

Ziele

Entwicklung einer Software für die statische Quellcodeanalyse