1.

Record Nr.

UNINA9910228956503321

Titolo

FMCAD 2017 : proceedings of the 17th Conference on Formal Methods in Computer-Aided Design : October 2-6, 2017, TU Wien, Vienna, Austria / / edited by Daryl Stewart and Georg Weissenbacher

Pubbl/distr/stampa

New York : , : IEEE, , 2017

ISBN

0-9835678-7-5

Descrizione fisica

1 online resource (229 pages)

Soggetti

Digital integrated circuits - Computer-aided design

Integrated circuits - Verification

Formal methods (Computer science)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia