1.
Record Nr.
UNINA9910412062903321
Autore
Hermanns Holger
Titolo
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science / / Holger Hermanns
Pubbl/distr/stampa
New York, NY : , : Association for Computing Machinery, , 2020
©2020
Descrizione fisica
1 online resource (986 pages)
Disciplina
004.015113
Soggetti
Computer logic
Computer programming
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia