Su búsqueda retornó 2 resultados.

Resultados
		Decision Procedures [recurso electrónico] : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman. por Kroening, Daniel [author.] \| Strichman, Ofer [author.] \| SpringerLink (Online service). Series Texts in Theoretical Computer Science. An EATCS SeriesEdición: 2nd ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Hardware and Software: Verification and Testing [recurso electrónico] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz. por Barner, Sharon [editor.] \| Harris, Ian [editor.] \| Kroening, Daniel [editor.] \| Raz, Orna [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6504Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

Refinar su búsqueda