Mostrando
1 - 1
Resultados de
1
Para Buscar '
Pombo, C.L.
'
Saltar al contenido
BDU
3
Inicio
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Pombo, C.L.
Mostrando
1 - 1
Resultados de
1
Para Buscar '
Pombo, C.L.
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
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
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Calculations
Category theory
Computational linguistics
Computer hardware description languages
Formal framework
Formal languages
Formal methods
Formal specification
Heterogeneous specifications
Mathematical formalism
Semantics
Specifications
Structured specification
Structuring mechanisms
System specification
System verification
System verifications
Z Notation
Z notation
Cargando...