2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign

Detalles Bibliográficos
Autor principal:	Institute of Electrical and Electronics Engineers (corporate author)
Autores Corporativos:	Institute of Electrical and Electronics Engineers, Corporate Author (corporate author), Institute of Electrical and Electronics Engineers, contributor (contributor)
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	[Place of publication not identified] IEEE 2012
Colección:	ACM Conferences
Materias:	Formal methods (Computer science)
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712975506719

Descripción
Notas:	Bibliographic Level Mode of Issuance: Monograph
Descripción Física:	1 online resource
ISBN:	9781467313131

Ejemplares similares