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