FMCAD 2016 : proceedings of the 16th Conference on Formal Methods in Computer-Aided Design : October 3-6, 2016, Mountain View, California, USA

FMCAD 2016 proceedings of the 16th Conference on Formal Methods in Computer-Aided Design : October 3-6, 2016, Mountain View, California, USA

Detalles Bibliográficos
Autor Corporativo: FMCAD 2016 (-)
Otros Autores: Piskac, Ruzica, editor (editor), Talupur, Muralidhar, editor
Formato: Libro electrónico
Idioma:Inglés
Publicado: Austin, Texas : FMCAD 2016.
Colección:ACM Conferences
Materias:
Formal methods (Computer science) > Congresses.
Computer systems > Computer-aided design > Congresses.
System design > Congresses.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714332006719

Ejemplares similares

Ejemplares similares