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)
		Handbook of automated reasoning / editors, Alan Robinson and Andrei Voronkov. por Robinson, J. A. (John Alan) \| Voronkov, A. (Andreæi), 1959- \| ScienceDirect (Online service). Tipo de material: Texto; Formato: impreso disponible en línea ; Forma literaria: No es ficción Detalles de publicación: Amsterdam ; New York : Cambridge, Mass. : Elsevier ; MIT Press, c2001Disponibilidad: Ítems disponibles para préstamo: 14. INTERNET (1)Ubicación, signatura topográfica: Versión electrónica. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)

Ajustar la búsqueda