1
Publicado em 2010
Sumário: ... for Ontologies -- Symbolic Bounded Conformance Checking of Model Programs -- Multi-level Virtual Machine...
Obter o texto integral
Recurso Electrónico livro electrónico