Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
setprec.87
Sprache: Unknown
|
Author:
This VDM++ model contains basic classes for defining
and traversing over abstract threes and queues.
Language Version: vdm10
[ zur Elbe Produktseite wechseln0.0Quellennavigators
Analyse erneut starten
]
|
