Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign

Detalles Bibliográficos
Autores Corporativos:	ACM and IEEE International Conference on Formal Methods and Models for Co-Design (-), ACM Special Interest Group on Design Automation, sponsoring body (sponsoring body), Association for Computing Machinery. Special Interest Group on Embedded Systems, sponsoring body
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	Washington, District of Columbia : IEEE Computer Society 2015.
Colección:	ACM Conferences
Materias:	Formal methods (Computer science) > Congresses.
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714074406719

Descripción
Descripción Física:	1 online resource (257 pages)
ISBN:	9781509002375

Ejemplares similares