Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science

Detalles Bibliográficos
Otros Autores:	Hermanns, Holger, author (author)
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	New York, NY : Association for Computing Machinery 2020.
Colección:	ACM Conferences
Materias:	Computer logic. Computer logic > Congresses. Computer programming.
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714597906719

Descripción
Descripción Física:	1 online resource (986 pages)

Ejemplares similares