Su búsqueda retornó 2 resultados.

Resultados
		Computer Science Logic [recurso electrónico] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Anuj Dawar, Helmut Veith. por Dawar, Anuj [editor.] \| Veith, Helmut [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6247Origen: 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: QA76.9 .L63.
		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) .

Refinar su búsqueda