| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/KLVPP/ (Vienna Development Method ©) Datei vom 13.4.2020 mit Größe 307 B |
|
Quelle FLTV.vdmppSprache: VDM |
|||||||||||||||
|
\section{The FLTV Class} The FLTV class represents the FLTV beacon and implements the abstract Beacon class. The class does not contain any instance variables or operations as the presence of the beacon defines the action to perform. \begin{vdm_al} class FLTV is subclass of Beacon end FLTV \end{vdm_al}
¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet am 2026-06-09) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-08-25