FMICS '05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05

FMICS '05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05

Detalles Bibliográficos
Autor principal: International Workshop on Formal Methods for Industrial Critical Systems (corporate author, -)
Autores Corporativos: International Workshop on Formal Methods for Industrial Critical Systems Corporate Author (corporate author), ACM Sigsoft Content Provider (content provider)
Otros Autores: Massink, Mieke Contributor (contributor), Margaria-Steffen, Tiziana Contributor
Formato: Libro electrónico
Idioma:Inglés
Publicado: [Place of publication not identified] Association for Computing Machinery 2005
Colección:ACM Conferences
Materias:
Formal methods (Computer science) > Congresses
Engineering & Applied Sciences
Computer Science
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712870706719
Descripción
Notas:Bibliographic Level Mode of Issuance: Monograph
Descripción Física:1 online resource (152 p.;)

Ejemplares similares