products/Sources/formale Sprachen/C/Linux/kernel/   (Linux Kernel Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 23 kB image not shown  

Quelle  k1w01   Sprache: Cobol

  

000100             PICTURE 9(5) VALUE 97523.                            K1W014.2
000200 77  RCD-2    PICTURE 9(5) VALUE 23497.                           K1W014.2

Messung V0.5 in Prozent
C=100 H=100 G=100

¤ Dauer der Verarbeitung: 0.9 Sekunden  (vorverarbeitet am  2026-09-27) ¤

*© Formatika GbR, Deutschland




Wurzel

Bemerkung:

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Anfrage:

Dauer der Verarbeitung:

Sekunden

sprechenden Kalenders