Proceedings of FMSP'98 the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA : co-located with ISSTA'98

Detalles Bibliográficos
Autores Corporativos: Workshop on Formal Methods in Software Practice (-), Association for Computing Machinery. Special Interest Group on Software Engineering, International Symposium on Software Testing and Analysis
Otros Autores: Ardis, Mark A. (Mark Alan), 1949- (-)
Formato: Libro
Idioma:Inglés
Publicado: New York : ACM 1998.
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991001347769703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Notas:Indice
Descripción Física:V, 109 p. : il. ; 28 cm
Bibliografía:Bibliogr.
ISBN:9780897919548