Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Universal algebra
Algebras de Kleene
2
Equational classes
2
Expansiones de reticulados
2
General algebraic systems
2
Grupos Abelianos
2
MS-Algebras
2
Model theory
2
Semireticulados
2
Sistemas algebráicos
2
Algebra
1
Algebraic specifications
1
Computer circuits
1
Formal Description
1
Formal definition
1
Formal development
1
Formal specification
1
Formal systems
1
NASA
1
Prototype verification systems
1
Reusability
1
Specification languages
1
Theorem proving
1
-
1por Campercholi, Miguel Alejandro Carlos
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
2por Campercholi, Miguel Alejandro Carlos
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
3