Su búsqueda recuperó 2 resultados.

Resultados
		Handbook of model checking / Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, editors por Clarke, Edmund M [editor] \| Henzinger, Thomas A [editor] \| Veith, Helmut [editor] \| Bloem, Roderick [editor]. Tipo de material: Texto; Forma literaria: No es ficción Editor: Cham, Switzerland : Springer, [2018]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76V47 H35. Hacer reserva Agregar al carrito (remover)
		Model checking / Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith por Clarke, E. M, 1945- [autor] \| Grumberg, Orna [autor] \| Kroening, Daniel [autor] \| Peled, Doron A, 1962- [autor] \| Veith, Helmut [autor]. Series The cyber-physical systems seriesEdición: Second editionTipo de material: Texto; Forma literaria: No es ficción Editor: Cambridge, Massachusetts : The MIT Press, [2018]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76V47 C53 2018. Hacer reserva Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"