Su búsqueda retornó 2 resultados.

Resultados
		Computer Aided Verification [recurso electrónico] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / edited by Swarat Chaudhuri, Azadeh Farzan. por Chaudhuri, Swarat [editor.] \| Farzan, Azadeh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9780Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Computer Aided Verification [recurso electrónico] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / edited by Swarat Chaudhuri, Azadeh Farzan. por Chaudhuri, Swarat [editor.] \| Farzan, Azadeh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9779Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Refinar su búsqueda