| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMRT/oldcarradioRT/ (Vienna Development Method ©) Datei vom 13.4.2020 mit Größe 187 B |
|
Quelle InterruptEvent.vdmrtSprache: VDM |
|||||||||||||||
|
\begin{vdm_al} class InterruptEvent is subclass of Event operations public InterruptEvent: nat ==> InterruptEvent InterruptEvent (pne) == Event(pne) end InterruptEvent \end{vdm_al}
¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet am 2026-06-06) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09