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