Hardware and software: verification and testing : 11th international haifa verification conference, hvc 2015, haifa, israel, november 17-19, 2015, proceedings / edited by Nir Piterman.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 9434Editor: Cham : Springer International Publishing : Springer, 2015Edición: 1st ed. 2015Descripción: xvi, 293 páginas : 88 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783319262871
- QA76.758
No hay ítems correspondientes a este registro
Springer eBooks
Para consulta fuera de la UANL se requiere clave de acceso remoto.