Su búsqueda obtuvo 2 resultados.

Resultados
		Principles of model checking [Recurso electrónico] / Christel Baier, Joost-Pieter Katoen. por Baier, Christel \| Katoen, Joost-Pieter. Tipo de material: Texto; Formato: electrónico ; Forma literaria: No es ficción Detalles de publicación: Cambridge, Mass. : MIT Press, 2008Disponibilidad: Ítems disponibles para referencia: 14. INTERNET: Not for loan (1)Ubicación, signatura topográfica: Versión electrónica. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		IEEE software por IEEE Computer Society. Tipo de material: Recurso continuo; Formato: electrónico disponible en línea ; Tipo de descriptor de recurso continuo: periódico Detalles de publicación: [Los Alamitos, CA : Ed. IEEE Computer Society Otro título: Software.Disponibilidad: Ítems disponibles para referencia: 13. HEMEROTECA UCA: Uso interno (1)Ubicación, signatura topográfica: Ficticio. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)

Ajustar la búsqueda