Mostrando
1 - 5
Resultados de
5
Para Buscar '
Castro, P.F.
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Castro, P.F.
Mostrando
1 - 5
Resultados de
5
Para Buscar '
Castro, P.F.
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
A categorical approach to structuring and promoting Z specifications
por
Castro
,
P.F
.
,
Aguirre, N.
,
López Pombo, C.G.
,
Maibaum, T.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
2
Categorical foundations for structured specifications in Z
por
Castro
,
P.F
.
,
Aguirre, N.
,
Pombo, C.L.
,
Maibaum, T.S.E.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
3
A heterogeneous characterisation of component-based system design in a categorical setting
por
Lopez Pombo, C.G.
,
Castro
,
P.F
.
,
Aguirre, N.
,
Maibaum, T.S.E.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
4
Satisfiability calculus: The semantic counterpart of a proof calculus in general logics
por
Lopez Pombo, C.G.
,
Castro
,
P.F
.
,
Aguirre, N.M.
,
Maibaum, T.S.E.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
5
Towards managing dynamic reconfiguration of software systems in a categorical setting
por
Castro
,
P.F
.
,
Aguirre, N.M.
,
López Pombo, C.G.
,
Maibaum, T.S.E.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Formalisation
Semantics
Specifications
Calculations
Category theory
Computational linguistics
Formal foundation
Structuring mechanisms
System specification
Abstract framework
Abstract model theory
Abstract notions
Algebra
Categorical structure
Communication device
Communication mechanisms
Component based
Component based design
Component based systems
Component-based system design
Computer hardware description languages
Computer software
Computing paradigm
Dynamic environments
Dynamic models
Dynamic re-configuration
Essential characteristic
Formal framework
Formal languages
Formal logic
Cargando...