Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, october 7-10, 2018, proceedings /

Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, october 7-10, 2018, proceedings /

Detalles Bibliográficos
Formato: Libro
Publicado: c2018.
Acceso en línea:Ver documento en línea

Internet

Ver documento en línea

Sistema de Bibliotecas de Universidad de Costa Rica

Detalle de Existencias desde Sistema de Bibliotecas de Universidad de Costa Rica
Copia Disponible

Ejemplares similares