Your search returned 4 results.

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; Format: large print regular print Publication details: ref_localidad@37940 : , 2005 Online access: Click here to access online Click here to access online Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0079. Place hold Add to cart (remove)
	2.	Hacia la composición paralela de programas en DynAlloy by Aguirre, Nazareno M Source: CACIC 2004 [CD-ROM] Material type: Article; Format: large print regular print Availability: No items available. Add to cart (remove)
	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; Format: large print regular print Publication details: ref_localidad@58296 : Springer, 2003 Online access: Click here to access online Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0323. Place hold Add to cart (remove)
	4.	Translating fork specifications into logic programs by Baum, Gabriel Alfredo Aguirre, Nazareno M Arroyo, Marcelo Material type: Article; Format: large print regular print Publication details: ref_localidad@NULL : Universidad Nacional de La Plata. Facultad de Informática, 2001 Online access: Click here to access online Click here to access online Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0593. Place hold Add to cart (remove)

Powered by Koha