Proceedings of the joint meeting of the twenty-third EACSL annual Conference on Computer Science Logic (CSL) and the twenty-ninth annual ACM/IEEE Symposium on Logic in Computer Science (LICS

Proceedings of the joint meeting of the twenty-third EACSL annual Conference on Computer Science Logic (CSL) and the twenty-ninth annual ACM/IEEE Symposium on Logic in Computer Science (LICS

Detalles Bibliográficos
Autor principal: Henzinger, Thomas (-)
Autores Corporativos: Symposium on Logic in Computer Science Corporate Author (corporate author), Symposium on Logic in Computer Science (-), Association for Computing Machinery-Digital Library
Otros Autores: Henzinger, Thomas Contributor (contributor), Miller, Dale Contributor
Formato: Libro electrónico
Idioma:Inglés
Publicado: [Place of publication not identified] ACM 2014
Colección:ACM Conferences
Materias:
Engineering & Applied Sciences
Computer Science
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713999306719
Descripción
Notas:Bibliographic Level Mode of Issuance: Monograph
Descripción Física:1 online resource (764 pages)

Ejemplares similares