Your search returned 4 results.

Sort
Results
1.
Reasoning about static and dynamic properties in Alloy : A purely relational approach by
  • Frias, Marcelo F
  • Maibaum, Thomas S. E
  • Aguirre, Nazareno M
  • Baum, Gabriel Alfredo
  • López Pombo, Carlos G
Series: ^p Datos electrónicos (1 archivo : 412 KB)
Material type: Article Article; Format: large print regular print
Publication details: ref_localidad@37940 : , 2005
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0079.

2.
Fork algebras in algebra, logic and computer science by
  • Frias, Marcelo F
  • Baum, Gabriel Alfredo
  • Haeberer, Armando M
Material type: Article Article; Format: large print regular print
Publication details: ref_localidad@33842 : IOS, 1997
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0322.

3.
Taking alloy to the movies by
  • Frias, Marcelo F
  • López Pombo, Carlos G
  • Baum, Gabriel Alfredo
  • Aguirre, Nazareno M
  • Maibaum, Thomas S. E
Material type: Article Article; Format: large print regular print
Publication details: ref_localidad@58296 : Springer, 2003
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0323.

4.
Fork algebras : past, present and future by
  • Frias, Marcelo F
  • Veloso, Paulo A. S
  • Baum, Gabriel Alfredo
Material type: Article Article; Format: large print regular print
Publication details: ref_localidad@NULL : , 2004
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0476.

Pages

Powered by Koha