Resultados de Búsqueda por Autor

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

Agregar a favoritos

Guardado en:
2

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:
3

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:
4

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:
5

Describing and analyzing behaviours over tabular specifications using (Dyn)alloy

por Aguirre, N.M., Frias, M.F., Moscato, M.M., Maibaum, T.S.E., Wassyng, A.
Publicado 2009

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

Artículo publishedVersion

Agregar a favoritos

Guardado en:
6

Describing and analyzing behaviours over tabular specifications using (Dyn)alloy

por Aguirre, N.M., Frias, M.F., Moscato, M.M., Maibaum, T.S.E., Wassyng, A.
Publicado 2009

Aportado por: Repositorio Digital de la Universidad de Buenos Aires (UBA)

Enlace del recurso

Enlace del recurso

Artículo publishedVersion

Agregar a favoritos

Guardado en:
7

Describing and analyzing behaviours over tabular specifications using (Dyn)alloy

por Aguirre, N.M., Frias, M.F., Moscato, M.M., Maibaum, T.S.E., Wassyng, A.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
8

Reasoning about static and dynamic properties in alloy: A purely relational approach

por Frias, M.F., López Pombo, C.G., Baum, G.A., Aguirre, N.M., Maibaum, T.S.E.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

JOUR

Agregar a favoritos

Guardado en:
9

Handbook of logic in computer science /

Publicado 1999
Otros Autores: “...Maibaum, T. S. E....”

Número de Clasificación: Cargando...
Ubicado: Cargando...

Aportado por: Sistema de Bibliotecas de la UNICEN

Libro Cargando...

Agregar a favoritos

Guardado en:
10

Handbook of logic in computer science /

Publicado 1999
Otros Autores: “...Maibaum, T. S. E....”

Número de Clasificación: Cargando...
Ubicado: Cargando...

Aportado por: Sistema de Bibliotecas de la UNICEN

Libro Cargando...

Agregar a favoritos

Guardado en:
11

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United...

Publicado 2003
Otros Autores: “...Maibaum, Thomas S E 1947-...”

Número de Clasificación: Cargando...
Ubicado: Cargando...

Aportado por: Biblioteca Laura Manzo (UNQ)

Libro Cargando...

Agregar a favoritos

Guardado en: