1
Publié 2010
Table des matières: ... for Ontologies -- Symbolic Bounded Conformance Checking of Model Programs -- Multi-level Virtual Machine...
Accéder au texte intégral
Électronique eBook