Can Algebraic Geometry Rescue Program Verification? 15 may. 2007
Visto 627
veces
Can Algebraic Geometry Rescue Program Verification?
Deepak Kapur
Department of Computer Science, University of New Mexico Albuquerque, NM USA
Vídeos de la misma serie
También te interesan
EUNIS 2023
European univesrities and the digital transformation: challenges and opportunities ahead
14 jun. 2023
G-Night 2023. Noche Gallega de las Personas Investigadoras. Conciencias creativas
Cientos de investigadoras e investigadores, decenas de actividades y siete ciudades
29 sept. 2023
II Encuentro Ágora. Talento & Innovación en la era de la transformación digital
Cátedra Telefónica - UVigo. Espacios de innovación
31 oct. 2023
Alumnos Uvigo opinan: Grado en Ciencias del Lenguaje y Estudios Literarios
Universidade de Vigo: aquí todo es posible
27 abr. 2016
¿En qué consiste? Grado en Ciencias del Lenguaje y Estudios Literarios
Universidade de Vigo: aquí todo es posible
27 abr. 2016
Alumnos Uvigo opinan: Grado en Lenguas Extranjeras
Universidade de Vigo: aquí todo es posible
27 abr. 2016
