Programen espezifikazio, egiaztapen eta eratorpen formala

Libro

Autor(es):: Javier Alvez Gimenez, Xabier Arregi Iparragirre, Jose Gaintzarain Ibarmia, Paqui Lucio Carrasco, Montse Maritxalar Anglada
Año:: 2016
Erakundea(k):: UPV/EHU arg (Editor), UEU arg (Editor)
ISBN:: 978-84-8438-590-5
CDU:: 68
Áreas de conocimiento:: Informatika