Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Cobol/Test-Suite/COBOL/SQ/     Datei vom 4.1.2008 mit Größe 77 kB image not shown  

Quelle  scenario1.txt   Sprache: Text

 
mk_(21,[mk_(0,1,100),
        mk_(0,2,200),
        mk_(0,3,300),
        mk_(1,1,400),
        mk_(1,2,500),
        mk_(1,3,100),
        mk_(2,1,200),
        mk_(2,2,300),
        mk_(2,3,400),
        mk_(3,1,500),
        mk_(3,2,100),
        mk_(3,3,200),
        mk_(4,1,300),
        mk_(4,2,400),
        mk_(4,3,500),
        mk_(5,1,100),
        mk_(5,2,200),
        mk_(5,3,300),
        mk_(6,1,100),
        mk_(6,2,200),
        mk_(6,3,300),
        mk_(7,1,100),
        mk_(7,2,200),
        mk_(7,3,300)])

¤ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Versionsinformation zu Columbo

Bemerkung:

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Anfrage:

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.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.