| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMRT/iiossRT/Test/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 132 B |
|
Quellcode-Bibliothek Test.vdmrtSprache: VDM |
|||||||||||||||
|
\begin{vdm_al} class Test operations public Run: TestResult ==> () Run (-) == is subclass responsibility end Test \end{vdm_al}
¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.10Bemerkung: (vorverarbeitet am 2026-04-30) ¤*Bot Zugriff |
|
||||||||||||||
2026-05-26