Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Lyx/lib/layouts/   (Lyx Textverarbeitung ©)  Datei vom 14.0.1999 mit Größe 2 kB image not shown  

Quelle  Test.vdmrt   Sprache: VDM

 
\begin{vdm_al} 
class Test

operations
 public Run: TestResult ==> ()
 Run (-) == is subclass responsibility

end Test
\end{vdm_al}

Messung V0.5
C=83 H=91 G=86

¤ Dauer der Verarbeitung: 0.10 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland




Versionsinformation zu Columbo

Bemerkung:

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Anfrage:

Dauer der Verarbeitung:

Sekunden

sprechenden Kalenders