UPV

UPV

:: Iniciar sessió ::

Concolic Testing in CLP

Divulgació de les activitats científiques, tecnològiques i artístiques ocorregudes en els tres campus de la UPV

[ Veure més vídeos de UPV TV ] [ Veure més vídeos didàctics ]

Concolic Testing in Logic Programming (ICLP'15)

Concolic Testing in Logic Programming (ICLP'15)

37:22 · 2016

On the Completeness of Selective Unification in Concolic Testing of Logic Programs

On the Completeness of Selective Unification in Concolic Testing of Logic Programs

24:24 · 2016

Concolic Testing

Concolic Testing

9:24 · 2024

Seguridad Vial. Accidentes in-itínere / in-misión.

Seguridad Vial. Accidentes in-itínere / in-misión.

10:09 · 2010

Nested functions

Nested functions

3:48 · 2024

Cortometraje "Café Radioactivo"

1:02 · 2021

Creación Virtual Modelo Lego Technic 8862-1 ¿ Piezas 2 a 70 ¿ 21 de 36

Creación Virtual Modelo Lego Technic 8862-1 ¿ Piezas 2 a 70 ¿ 21 de 36

10:07 · 2016

Tecn.Energ.Bloque2_Pract.1_QUE_ESP_Introducción

Tecn.Energ.Bloque2_Pract.1_QUE_ESP_Introducción

28:39 · 2020

clase micro II 22feb ADE

clase micro II 22feb ADE

89:02 · 2021

Pluma_Fani

0:05 · 2014

Universitat Politècnica de València © 2020 · Tel. (+34) 96 387 70 00