Biblioteca UPSE

	1.	Cómo programar en C/C++ y Java por Deitel, Paul J [autor] \| Deitel, Harvey M [autor] \| García Pérez, Jorge Octavio [traductor]. Edición: Cuarta ediciónEditor: México D. F. (México): Pearson Educación, 2004Disponibilidad: Ítems disponibles para préstamo: Biblioteca General [Signatura topográfica: 005.133 DEIc] (2). Hacer reserva Agregar al carrito (remover)
	2.	Especificación, verificación y derivación formal de programas por Álvez, Javier [autor] \| Arregi, Xabier [autor] \| Gaintzarain, Jose [autor]. Editor: Madrid (España): Pearson Educación, 2015Disponibilidad: Ítems disponibles para préstamo: Biblioteca General [Signatura topográfica: 004 ALVe] (2). Hacer reserva Agregar al carrito (remover)

Biblioteca UPSE -