	TEST - Catálogo BURRF

Su búsqueda retornó 2 resultados.

Resultados
	1.	Formal techniques for distributed objects, components, and systems : 34th ifip wg 6.1 international conference, forte 2014, held as part of the 9th international federated conference on distributed computing techniques, discotec 2014, berlin, germany, june 3-5, 2014. Proceedings / edited by Erika Ábrahám, Catuscia Palamidessi. por Palamidessi, Catuscia [editor.] SpringerLink (Servicio en línea) Ábrahám, Erika [editor.] Series Lecture Notes in Computer Science ; 8461 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer, 2014 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 : 20th international conference, tacas 2014, held as part of the european joint conferences on theory and practice of software, etaps 2014, grenoble, france, april 5-13, 2014. Proceedings / edited by Erika Ábrahám, Klaus Havelund. por Havelund, Klaus [editor.] SpringerLink (Servicio en línea) Ábrahám, Erika [editor.] Series Lecture Notes in Computer Science ; 8413 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer, 2014 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