| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/KLVPP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 307 B |
|
Quelle FLTV.vdmpp Sprache: 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) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-04-04