FMSP 98: Formal Methods in Software Practice, Co-Located with ISSTA

Detalles Bibliográficos
Autor principal: Ardis, Mark (-)
Autor Corporativo: Association for Computing Machinery-Digital Library (-)
Formato: Libro electrónico
Idioma:Inglés
Publicado: [Place of publication not identified] Association for Computing Machinery 1998
Colección:ACM Conferences
Materias:
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712984706719
Descripción
Notas:Bibliographic Level Mode of Issuance: Monograph
Descripción Física:1 online resource (109 p.;)