	TEST - Catálogo BURRF

Su búsqueda retornó 2 resultados.

Resultados
	1.	Hardware and software: verification and testing : 11th international haifa verification conference, hvc 2015, haifa, israel, november 17-19, 2015, proceedings / edited by Nir Piterman. por Piterman, Nir [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 9434 Edición: 1st ed. 2015. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Springer, 2015 Acceso en línea: Conectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	2.	Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. por Piterman, Nir [editor.] Smolka, Scott A [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 7795 Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Acceso en línea: Conectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)

Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha