Su búsqueda retornó 3 resultados.

Resultados
		Prolog: The Next 50 Years [electronic resource] / edited by David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi. por Warren, David S [editor.] \| Dahl, Veronica [editor.] \| Eiter, Thomas [editor.] \| Hermenegildo, Manuel V [editor.] \| Kowalski, Robert [editor.] \| Rossi, Francesca [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 13900Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Static Analysis [electronic resource] : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings / edited by Manuel V. Hermenegildo, José F. Morales. por Hermenegildo, Manuel V [editor.] \| Morales, José F [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14284Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Verification, Model Checking, and Abstract Interpretation [recurso electrónico] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings / edited by Gilles Barthe, Manuel Hermenegildo. por Barthe, Gilles [editor.] \| Hermenegildo, Manuel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5944Origen: 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.758.

Con tecnología Koha