Computer aided verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings /
| Formato: | Libro |
|---|---|
| Lenguaje: | English |
| Publicado: |
c2016.
|
| Acceso en línea: | Ver documento en línea (Part I) Ver documento en línea (Part II) Ver documento en línea (Part I) Ver documento en línea (Part II) |
Internet
Ver documento en línea (Part I)Ver documento en línea (Part II)
Ver documento en línea (Part I)
Ver documento en línea (Part II)
Sistema de Bibliotecas de Universidad de Costa Rica
| Copia | Disponible |
|---|