| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/KLVPP/ (Vienna Development Method ©) Datei vom 13.4.2020 mit Größe 315 B |
|
Quelle TIV_A.vdmppSprache: 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.11 Sekunden (vorverarbeitet am 2026-06-09) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09