Your search returned 2 results.

Results
	1.	All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic / by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott. by Clavel, Manuel Durán, Francisco Eker, Steven Lincoln, Patrick Martí-Oliet, Narciso Meseguer, José Talcott, Carolyn SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4350 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 C53 2007 . Place hold Add to cart (remove)
	2.	Estructura de datos y métodos algorítmicos : ejercicios resueltos / Narciso Martí Oliet, Yolanda Ortega Mallén, José Alberto Verdejo López by Martí Oliet Narciso Ortega Mallen Yolanda [coaut.] Verdejo López José Alberto Edition: 1a ed. Material type: Text Publication details: Madrid : Pearson, Prentice- Hall, 2004 Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (2)Call number: QA76.9.D35 O45 2004 C:1, ... Place hold Add to cart (remove)

Refine your search