| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/HOL/IMP/ (Beweissystem Isabelle Version 2025-1©) Datei vom 16.11.2025 mit Größe 10 kB |
|
Quelle testGoodHeartAOO.vdmrtSprache: VDM |
|||||||||||||||
|
class Test11 operations public Test : () ==> () Test () == new World("tests/scenarioGoodHeart.arg",<AOO>).Run() ; end Test11
¤ Dauer der Verarbeitung: 0.9 Sekunden (vorverarbeitet am 2026-05-01) ¤*Bot Zugriff |
|
||||||||||||||
2026-05-26