| products/sources/formale Sprachen/VDM/VDMPP/PacemakerSeqPP/tests/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Simple_Gcd.ads Sprache: Ada
|
Untersuchungsergebnis.arg Download desMT940 {MT940[1036] BAT[1270] Ada[1457]}zum Wurzelverzeichnis wechseln mk_(5000 ,[mk_(<PULSE>,<ATRIA> ,2 ,1000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,1150), mk_(<PULSE>,<ATRIA> ,2 ,2000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,2150) , mk_(<PULSE>,<ATRIA> ,2 ,3000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,3150) , mk_(<PULSE>,<ATRIA> ,2 ,4000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,4150) , mk_(<PULSE>,<ATRIA> ,2 ,5000) ] ) [ zur Elbe Produktseite wechseln0.83Quellennavigators ] |