Computer aided verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /
Formato: | Libro |
---|---|
Lenguaje: | English |
Publicado: |
c2018.
|
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 |
---|