Search
Now showing items 1-1 of 1
Generación y uso de abstracciones en la comprobación de modelos simbólica
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2009)
Browse
All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsxmlui.ArtifactBrowser.Navigation.browse_advisorxmlui.ArtifactBrowser.Navigation.browse_directorThis CommunityBy Issue DateAuthorsTitlesSubjectsxmlui.ArtifactBrowser.Navigation.browse_advisorxmlui.ArtifactBrowser.Navigation.browse_director
My Account
Discover
Author
Arenas Yerena, Carlos Dario (1)
Subject
INGENIERÍA Y TECNOLOGÍA (1)
... View MoreDate Issued
2009 (1)
Has File(s)Yes (1)