Autor: Frias, Marcelo F. Se han encontrado 4 resultados
| Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
|---|---|---|---|---|---|
Artículo |
Fork algebras: past, present and future | Frias, Marcelo F. |
(2004) |
---------- | |
|
Artículo |
Fork algebras in algebra, logic and computer science : | Frias, Marcelo F. |
(1997) |
---------- | |
|
Artículo |
Reasoning about static and dynamic properties in Alloy : A purely relational approach | Frias, Marcelo F. |
(2005) |
---------- | |
|
Artículo |
Taking alloy to the movies : | Frias, Marcelo F. |
(2003) |
---------- |