| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Lyx/src/ (Beweissystem Isabelle Version 2025-1©) Datei vom 26.9.1998 mit Größe 335 B |
|
Quelle sorter.vdmpp Sprache: VDM |
|||||||||
|
\section{Sorter class}
\begin{vdm_al} class Sorter operations public Sort: seq of int ==> seq of int Sort(arg) == is subclass responsibility end Sorter \end{vdm_al} ¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28