Programen espezifikazio, egiaztapen eta eratorpen formala

Livre

Auteur(s):: Javier Alvez Gimenez, Xabier Arregi Iparragirre, Jose Gaintzarain Ibarmia, Paqui Lucio Carrasco, Montse Maritxalar Anglada
Année:: 2016
Erakundea(k):: UPV/EHU arg (Editeur), UEU arg (Editeur)
ISBN:: 978-84-8438-590-5
CDU:: 68
Domaine de connaissance:: Informatika