Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design : FMCAD 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland

Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design FMCAD 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland

Bibliographic Details
Other Authors: Claessen, Koen, editor (editor), Kuncak, Viktor, editor
Format: eBook
Language:Inglés
Published: Austin, Texas : FMCAD 2014.
Series:ACM Other conferences
Subjects:
Digital integrated circuits > Computer-aided design > Congresses.
Integrated circuits > Verification > Congresses.
Formal methods (Computer science) > Congresses.
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712950306719
Description
Item Description:Includes index.
Physical Description:1 online resource (219 pages)

Similar Items