SSL GiraffeSpecification.vdmpp
Interaktion und PortierbarkeitVDM
-- -- Created automatically by VDMJ ASTgen. DO NOT EDIT. -- Wed Mar 17 13:43:15 CET 2010 --
class GiraffeSpecification issubclassof GiraffeNode operations public getClazz: () ==> GiraffeClassDefinition
getClazz() == issubclassresponsibility;
end GiraffeSpecification
Messung V0.5 in Prozent
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.12Angebot
(Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können 2026-10-12)
¤
