Su búsqueda retornó 2 resultados.

Resultados
		Handbook of Model Checking [electronic resource] / edited by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem. por Clarke, Edmund M [editor.] \| Henzinger, Thomas A [editor.] \| Veith, Helmut [editor.] \| Bloem, Roderick [editor.] \| SpringerLink (Online service). Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logic for Programming, Artificial Intelligence, and Reasoning [recurso electrónico] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers / edited by Edmund M. Clarke, Andrei Voronkov. por Clarke, Edmund M [editor.] \| Voronkov, Andrei [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6355Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

Refinar su búsqueda