Formal Methods in Computer Aided Design 2011

Detalles Bibliográficos
Autor principal:	Bjesse, Per (-)
Autor Corporativo:	Association for Computing Machinery-Digital Library (-)
Otros Autores:	Slobodova,Anna Contributor (contributor), Bjesse,Per Contributor
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	[Place of publication not identified] FMCAD Incorporated 2011
Colección:	ACM Conferences
Materias:	Information Technology > Computer Science (Hardware & Networks)
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712863706719

Descripción
Notas:	Bibliographic Level Mode of Issuance: Monograph
Descripción Física:	1 online resource (240 p.;)
ISBN:	9780983567813

Ejemplares similares