Cargando…

Hardware and software: 10th international Haifa verification conference, HVC 2014, Haifa, Israel, November 18-20, 2014, proceedings

Detalles Bibliográficos
Autor principal: Yahav, Eran
Lenguaje:eng
Publicado: Springer International Publishing AG 2014
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757809

Ejemplares similares