products/Sources/formale Sprachen/VDM/VDMRT/PacemakerRT/tests/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei:   Sprache: XML

Untersuchungsergebnis.arg Download desMT940 {MT940[3329] Haskell[3835] BAT[3861]}zum Wurzelverzeichnis wechseln

mk_(50000,[mk_(<PULSE>,<ATRIA>,4,9000),mk_(<PULSE>,<VENTRICLE>,4,11500),mk_(<PULSE>,<VENTRICLE>,4,21500),mk_(<PULSE>,<ATRIA>,4,29000),mk_(<PULSE>,<VENTRICLE>,4,41500),mk_(<PULSE>,<ATRIA>,4,49000)])

[ zur Elbe Produktseite wechseln0.127Quellennavigators  ]