Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, july 18-24, 2015, Proceedings /
| Formato: | Libro |
|---|---|
| Lenguaje: | English |
| Publicado: |
c2015.
|
| 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 del Universidad de Costa Rica
| Copia | Disponible |
|---|