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
LEADER 00575nam a2200121 a 4500
001 000659839
005 20211117164946.0
008 211117 2018 gr |||||| d
020 |a 9783030010904  |q (ebook) 
040 |a Sistema de Bibliotecas de la Universidad de Costa Rica 
245 1 0 |a Automated technology for verification and analysis :  |b 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, october 7-10, 2018, proceedings /  |c Shuvendu K. Lahiri, Chao Wang. 
260 |c c2018. 
856 4 1 |u https://springerlink.proxyucr.elogim.com/book/10.1007/978-3-030-01090-4  |y Ver documento en línea 

Ejemplares similares