products/sources/formale Sprachen/Isabelle/HOL/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 16.11.2025 mit Größe 115 kB image not shown  

SSL job.jcl   Interaktion und
PortierbarkeitJCL

 
//*-----------------------------------------
//*  first test job
//*-----------------------------------------
//DOCO   JOB PRIO=14
//DO11    EXEC PGM=SORT
//F1     DD DSN=ABC.FIL
//       DD sysout=*
//*      
//DO22    EXEC PROC2
//SYSIN  DD *
//*-----------------------------------------
//* first test procedure
//*-----------------------------------------
//PROC2  PROC
//DOEXEC EXEC PROC99
//SYSIN  DD PAR=(A,2,(88,0))
//       PEND

100%


¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.1Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤

*Eine klare Vorstellung vom Zielzustand






Wurzel

Bemerkung:

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Anfrage:

Dauer der Verarbeitung:

Sekunden

sprechenden Kalenders