1
Publicado 2010
Table of Contents: ... for Ontologies -- Symbolic Bounded Conformance Checking of Model Programs -- Multi-level Virtual Machine...
Ligazón do recurso
Electrónico eBook