Proceedings of FMSP '00 the Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA : co-located with ISSTA '00

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: Heimdahl, Mats P. E. (-)
Formato: Libro
Idioma:Inglés
Publicado: New York : ACM 2000.
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991002097259703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Notas:Indice
Descripción Física:VII, 112 p. : il. ; 28 cm
Bibliografía:Bibliogr.
ISBN:9781581132625