products/sources/formale Sprachen/VDM/VDMPP/PacemakerSeqPP/tests/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei:   Sprache: Unknown

Columbo aufrufen.arg zum Wurzelverzeichnis wechselnMT940 {MT940[1034] BAT[1357] Ada[1544]}Datei anzeigen

mk_(5000 ,[mk_(<PULSE>,<ATRIA> ,4 ,900) , mk_(<PULSE>,<ATRIA> ,4 ,950) ,
mk_(<PULSE>,<ATRIA> ,4 ,1900) ,mk_(<PULSE>,<ATRIA> ,4 ,1940) ] )

[ Original von:0.56Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt.  ]