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

Detalles Bibliográficos
Otros Autores: Claessen, Koen, editor (editor), Kuncak, Viktor, editor
Formato: Libro electrónico
Idioma:Inglés
Publicado: Austin, Texas : FMCAD 2014.
Colección:ACM Other conferences
Materias:
Digital integrated circuits > Computer-aided design > Congresses.
Integrated circuits > Verification > Congresses.
Formal methods (Computer science) > Congresses.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712950306719
Descripción
Notas:Includes index.
Descripción Física:1 online resource (219 pages)

Ejemplares similares