Computer aided verification : 26th International Conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, proceedings /
Formato: | Libro |
---|---|
Lenguaje: | English |
Publicado: |
c2014.
|
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 la Universidad de Costa Rica
Copia | Disponible |
---|