Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
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: async_manager_legacy.ML   Sprache: SML

Untersuchungsergebnis.arg Download desMT940 {MT940[1034] BAT[1357] Ada[1544]}zum Wurzelverzeichnis wechseln

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

[ zur Elbe Produktseite wechseln0.73Quellennavigators  ]