products/Sources/formale Sprachen/Coq/theories/Program/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: World.vdmrt   Sprache: VDM

Original von: VDM©
\section{The TIV\_A Class}

The TIV_A class represents the TIV_A beacon and implements the
abstract Beacon class. The class does not contain any instance
variables nor operations as the presence of the beacon defines the
action to perform.

\begin{vdm_al}
class TIV_A is subclass of Beacon
 
end TIV_A
\end{vdm_al}

¤ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet)  ¤



Druckansicht
unsichere Verbindung
Druckansicht
sprechenden Kalenders

Eigene Datei ansehen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff