products/sources/formale Sprachen/Delphi/Autor 0.7 image not shown  

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


Bot Zugriff