Izenburua Egileak Urtea Mota Erakundea Jakintzak
Programen espezifikazio, egiaztapen eta eratorpen formala Javier Alvez Gimenez, Xabier Arregi Iparragirre, Jose Gaintzarain Ibarmia, Paqui Lucio Carrasco, Montse Maritxalar Anglada 2016 Liburua UEU arg eta UPV/EHU Arg Informatika
Informatikaren oinarriak Jose Gaintzarain Ibarmia 2005 Irakasgaia UPV/EHU Informatika
Informatikaren oinarriak Jose Gaintzarain Ibarmia 2003 Irakasgaia UPV/EHU Informatika