Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Cobol/Test-Suite/CLBRY/   (NIST Cobol Test-Suite ©)  Datei vom 4.1.2008 mit Größe 246 B image not shown  

Quelle  k3oca   Sprache: Cobol

  

000100     Card0131.                                                    K3OCA4.2

¤ Dauer der Verarbeitung: 0.4 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